1.1 Proposition Logic Flashcards
Definition of a proposition
A declarative statement that is either true or false
Truth table for the negation of a proposition
The negation of T is F
the negation of F is T
The Truth Table for the Conjunction of Two Propositions
The Truth Table for The Disjunction of Two Propositions
Exclusive or
the proposition is true when exactly one of p and q is true and false otherwise
The Truth Table for the Conditional Statement (if p, then q)
What is the converse of p → q
q → p
What is the contrapositive of p → q
¬q → ¬p
What is the inverse of p → q
¬p → ¬q
Of the three conditional statements ( converse, contrapositive and inverse), which one always has the same truth vale as p → q
The contrapositive ¬q → ¬p
When are two compound propositions equivalent?
When they have the same truth values, regardless of the truth values of it propostional variables
The Truth Table for the Biconditional Statement p ↔ q
What is the proposition of the biconditional statement p ↔ q
p if and only if q
Precedence of Logical Operators
In a conditional statement, the conclusion is…
the necessary condition