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
  • 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 (), disjunction (), conjunction (), conditional (), and biconditional (). Other connectives such as exclusive or can be derived from the above connectives.

Subsections

References