Chapter 10 Flashcards
Conjunction
A compound claim made from two simpler claims, called conjuncts
A conjunction is true if and only if
both of the simpler claims that make it up (its conjuncts) are true
&
And, but, while
Disjunction
Another compound claim made up of tow simpler claims, called disjuncts
A disjunction is false if and only if
both of its disjuncts are false
V
symbolizes disjunction (either or)
conditional claim
stating conditions using “if…then….”
A conditional claim is false if and only if
its antecedent is true and its consequent false
–>
conditionals
negation
~ opposite
Negation Truth Table
P ~P
______
T F
F T
Conjucntion Truth Table
P Q (P&Q) \_\_\_\_\_\_\_\_\_\_\_\_\_ T T T T F F F T F F F F
Disjunction truth table
P Q (PvQ) \_\_\_\_\_\_\_\_\_\_\_\_ T T T T F T F T T F F F
Conditional Truth Table
P Q (P-->Q) \_\_\_\_\_\_\_\_\_\_\_\_ T T T T F F F T T F F T
When are two claims truth-functionally equivalent
if they have exactly the same truth table