Logic Exercise 1. Verify the following statements: (Extra Credit (30)) (i) [PQ] [-Q-P] (iii) [PVO] [-PA-Q] (ii) -[PO] +

[answerhappygod]

Logic Exercise 1 Verify The Following Statements Extra Credit 30 I Pq Q P Iii Pvo Pa Q Ii Po 1 (24.49 KiB) Viewed 23 times

Logic Exercise 1. Verify the following statements: (Extra Credit (30)) (i) [PQ] [-Q-P] (iii) [PVO] [-PA-Q] (ii) -[PO] + [PA-Q]" (iv) -PAQ] + [-PV-Q] Suppose Pla) is a statement that has a parameter a. For example, with a any number, denote the statement oé +1 = 0 by Pla). The statement (Ja € R, P(a)] is false, while (Va € R, -P(a)] and (Ba € C, Pa)] are both true. Describe in your own words why the following are true: (v) [3o P(a)] + [va, -Pa)] (vi) [Vo, Pa)] => [sa, -P(a)] 3