Propositional logic is a branch of logic which studies the logical relationships between propositions taken as a whole, and connected via logical connectives.
Definition
- Proposition: something that can be true or false
- can be premises or conclusion
- Truth Value: each of a proposition have a truth value of either true and false
- Truth Assignment: a function assigning a truth value to each of the proposition constants
- Connectives: relationships (such as and and or) between propositions
- Argument: a sequence of propositions, with the last being the conclusion and the others being premises
Connectives
The five main connectives in propositional logic are negation (