propositional logic ex - Propositional Logic • This is...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Propositional Logic • This is the foolproof way of determining the truth-value of most compound statements. The key is to know the truth tables for the 5 logical operators. Translate into Symbolic Form • 1. Passing the w ritten exam is not a sufficient condition for g etting a driving license. • 2. Passing the w ritten exam and the r oad exam is a necessary and sufficient condition for g etting a driving license. • 3. If T om gives me the money, then if M ary is willing to sell me the MD-player, then my b uying the MD-player implies that I will have e nough money left for the school fee. • 4. E arning a degree is a sufficient condition for making my parents h appy only if the j ob market is optimistic when I graduate. Which is a WFF? • 1. (F ≡ ~Q) • (A ⊃ E v T) • 2. (R ≡ S • T) ⊃ ~(~W • ~X) • 3. (A ⊃ ~T) ≡ ~(~D ⊃ G) Identify main operator • F • ((G ⊃ J) ≡ (~I v B)) • (A • C) v ~(R ≡ ~(D v H)) • F • ((G ⊃ J) ≡ (~I v B)) • (A • C) v ~(R ≡ ~(D v H)) Determine the truth-values of compound...
View Full Document

{[ snackBarMessage ]}

Page1 / 27

propositional logic ex - Propositional Logic • This is...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online