Propositional Logic Flashcards
What are propositions?
Declarative sentences that can be true or false but not both at the same time. Basically a statement. ( use 1[true] or 0 [false])
command/imperative
EX: Take this for me and run (not a proposition because it’s not a statement)
Questions/Interrogatives
EX: Is this a proposition? ( not a proposition because it’s not a statement)
“Not”
¬p
“And”
p^q
“Or”
p v q
“if..then”
p –> q
“if and only”
p <–> q
What are wffs?
well-formed formulas according to the rules of the propositional logic.
What are truth tables?
list all the possibilities of truth for each set of simple propositions
what does negation do?
“flips” the value of the proposition; in other words it is not the case
what is conjuction? (^)
and, although, but, even though, however and so on.
what is conjuction?
and, although, but, even though, however and so on.
disjunction (v)
or, unless
conditional (—>)
“if..then” or “when…then” or “ provided that..then”
