Propositional logic Flashcards
1
Q
What is a proposition?
A
It is a statement that is either true or false. It cannot be both.
2
Q
What is this ‘logical’ symbol ¬ ?
A
Logical NOT - also called a negation (if something is false whatever follows becomes true)
3
Q
what is the ‘logical’ symbol V ?
A
Logical OR - also called a disjunction (only one has to be true)
4
Q
what is the ‘logical’ symbol ∧ ?
A
Logical AND - also called a conjunction (both have to be the same)
5
Q
What is Tautology?
A
A proposition that is always true.
6
Q
What is contradiction?
A
a proposition which is always false
7
Q
what is contingency?
A
a proposition which can sometimes be true or false
