Propositional Logic Flashcards
Define discrete mathematics
The part of mathematics devoted to the study of discrete (as opposed to continuous objects)
Define propositions
Propositions is a declarative sentence that is either true or false
Give an example of a proposition
“the moon is made out of cheese” (false)
1+0 = 1 (true)
0+0 = 2 (false)
What are the atomic proposition variables
p, q, r, s …
What are the atomic proposition constants
T(true), F (false)
Show a negative proposition
¬p
Show a conjunction
p ∧ q
Show a disjunction
p ∨ q
Show an implication
p → q
Show a bioconditional
p ↔ q
What does this symbol mean ∨
or
What does this symbol mean ∧
and
What does this symbol mean ↔
either not both / if and only i f
What does this symbol mean –>
If, then
When is a conjunction true
For a conjunction to be true both propositions must be true