Propositional Logic Flashcards
1
Q
What is a proposition?
A
Binary variable that takes either true or false as a value.
Usually expressed as a statement in a language like english.
2
Q
What is a dual?
A
Where one can produce an equivalence by replacing every or with an and, and every and with an or
3
Q
What is a tautology?
A
A proposition that is always true
4
Q
What is a contradiction?
A
A proposition that is always false
