Using the table and symbol functions in MSWORD, solve the following proof, making sure to number...

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

Solutions

Expert Solution

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

Colby Messinger answered 1 year ago

Next > < Previous

Related Solutions

1. Using the alter table command, add a new column named gender making sure that only...

1. Using the alter table command, add a new column named gender making sure that only values of M, F or O are allowed. 2. Modify the data in the customers table to change the state for customers with ID number 2, 4, and 5 to NV. 3. Create a sequence that starts with -100 and increments by 10. Show the first value of the sequence. 4. Create a table named MYDATA with the following columns: id (primary key) and...

Question 1. Answer the following questions by making a truth table. Be sure to explain what...

Question 1. Answer the following questions by making a truth table. Be sure to explain what feature of the truth table you’ve drawn justifies your answer. (That is, indicate which part, or parts, of the table show what the answer to the question is and why) a) Is ¬P, P ↔ Q, P → Q a logically consistent set of sentences? b) Is A ∧ (B ∨ C), ¬((A ∨ B) ∧ C) a logically consistent set of sentences? c)...

using excel and it's functions The table shows a sample of the maximum capacity (maximum number...

using excel and it's functions The table shows a sample of the maximum capacity (maximum number of spectators) of sports stadiums. The table does not include horse-racing or motor-racing stadiums. 40,000 40,000 45,050 45,500 46,249 48,134 49,133 50,071 50,096 50,466 50,832 51,100 51,500 51,900 52,000 52,132 52,200 52,530 52,692 53,864 54,000 55,000 55,000 55,000 55,000 55,000 55,000 55,082 57,000 58,008 59,680 60,000 60,000 60,492 60,580 62,380 62,872 64,035 65,000 65,050 65,647 66,000 66,161 67,428 68,349 68,976 69,372 70,107 70,585 71,594...

1. write a truth table using this symbol: --> 2. write the inputs for the truth...

1. write a truth table using this symbol: --> 2. write the inputs for the truth table to the left of the --> and write the outputs for the truth table to the right of the --> 3. write the compliment, or NOT using ' As an example: The truth table for AND is written this way: A B --> A AND B 0 0 --> 0 0 1 --> 0 1 0 --> 0 1 1 --> 1 or...

Solve the following equation using Green’s functions. Set up the integral for the particular solution and...

Solve the following equation using Green’s functions. Set up the integral for the particular solution and evaluate y''+9y=x+sinx y(0)=1,y'(0)=2

6. Give the symbol for the following elements: a.) A halogen with an atomic number of...

6. Give the symbol for the following elements: a.) A halogen with an atomic number of 17 b.) The element with 7 protons c.) The element in 3rd period (row) with 6 valence electrons

Solve the following linear programming problem using Solver. Be sure to write in your optimal solution...

Solve the following linear programming problem using Solver. Be sure to write in your optimal solution below the problem. Max Z = 20X1 + 30X2 + 25X3 + 32X4 s.t. 4X1 + 8X2 + 5X3 + 6X4 ≤ 40 X1 + X2 ≥ 3 (X1 + X2) ≤ (X3 + X4) ?1 ?2 ≥ 3 2 X1 = __________ X2 = ___________ X3 = ___________ X4 = ___________ Z = ____________

Solve the following linear programming problem using Solver. Be sure to write in your optimal solution...

Solve the following linear programming problem using Solver. Be sure to write in your optimal solution below the problem. Max Z = 20X1 + 30X2 + 25X3 + 32X4 s.t. 4X1 + 8X2 + 5X3 + 6X4 ≤ 40 X1 + X2 ≥ 3 (X1 + X2) ≤ (X3 + X4) x1/x2 ≥ 3/2 X1 = __________X2 = ___________X3 = ___________X4 = ___________Z = ____________

NATURAL DEDUCTION Construct a proof that reveals the validity of the following inference. Make sure that...

NATURAL DEDUCTION Construct a proof that reveals the validity of the following inference. Make sure that you symbolize it first. Tom was involved in the fight at the party Friday and stole money from Monica’s purse later that same night. The parole officer had told me that if he was involved in the fight then he’d have to go back to the rehab clinic and the social worker told me that if he stole the money then control over his...

Solve the following financial problems using the time value of money functions in Excel (PV, FV,...

Solve the following financial problems using the time value of money functions in Excel (PV, FV, PMT, NPER, RATE, EFFECT) OR using your financial calculator. Assume you deposit $3,000 today, and $300 at the end of each year, in an account earning 4% per year for 20 years. What is the future value? General Electric has an unfunded pension liability of $300 million that must be paid in 15 years. The CFO deposits $10 million in account today to help...

Subjects