Page 1 of 1
Logic Exercise 1. Verify the following statements: (Extra Credit (30)) (i) [PQ] [-Q-P] (iii) [PVO] [-PA-Q] (ii) -[PO] +
Posted: Thu May 12, 2022 8:29 am
by 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 22 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