Question

Using the table and symbol functions in MSWORD, solve the following proof, making sure to number and justify each line of the proof (including listing premises).

(∀x)(∀y)Pxy ⊢(Ǝx)(Ǝy)Pxy

Answer 1

Open the MS word and use the Insert Option as under:Then choose table option

Then after Insert Table 1 x 1 and choose symbol option and then More symbols option as show below

This will open a quick access menu of 20 frequently used symbols to pick from. However, you can also access the full range of special characters in Microsoft Word as follows:

• Go to Insert > Symbols and click Symbol to open the menu
• Click More Symbols… to open a new window
• Scroll through until you find the symbol you want to use
• Click Insert to add the symbol to your document

Then find out the appropriate symbol as asked in you question

The symbol will then appear in your document at your cursor. Microsoft Word will also add the symbol to the quick access menu, saving your time if you need to use it again.

Well finally you will get as asked in question as