Propositional Logic

Series: mathematics July 14, 2016

Proposition

A proposition is a declarative sentence or assertion that is either true or false. Propositional Logic studies the results of combining propositions to form more complex statements.

  Logical Connectives  
Symbol Name Meaning
Conjunction and
Disjunction or
¬ Negation not
Conditional implies
Biconditional if and only if

Truth Tables

  Conjunction  
P Q P Q
T T T
T F F
F T F
F F F
  Disjunction  
P Q P Q
T T T
T F T
F T T
F F F
  Negation
P ¬P
T F
F T
  Conditional  
P Q P Q
T T T
T F F
F T T
F F T
  Biconditional  
P Q P Q
T T T
T F F
F T F
F F T

Logical Form and Logical Equivalence

##


built with , Jekyll, and GitHub Pages