^{}

# Disjunction (or)

_{ Jan 01 . 2001 }

Any two propositions **P** and **Q** can be disjoined, producing the new, complex, proposition:

**P or Q**

The proposition **P and Q** is true if and only if either **P** or **Q** are true. It is false only if both **P** and **Q** are false.

## Truth table

P | Q | P or Q |

T | T | T |

T | F | T |

F | T | T |

F | F | F |