a) Derive the truth tables for the following: i) (PQ) (-Q-P)T ii) ((P => Q)^-Q) -P...

Transcribed Image Text:

a) Derive the truth tables for the following: i) (P⇒Q)⇒ (-Q⇒-P)⇒T ii) ((P => Q)^-Q) ⇒-P b) Use necessary quantifications to represent the following with First Order Logic: i) Someone in the class owns a computer ii) Everyone in university is smart Use function, constant, sentence names as you define. a) Derive the truth tables for the following: i) (P⇒Q)⇒ (-Q⇒-P)⇒T ii) ((P => Q)^-Q) ⇒-P b) Use necessary quantifications to represent the following with First Order Logic: i) Someone in the class owns a computer ii) Everyone in university is smart Use function, constant, sentence names as you define.