# disjunction

A disjunction^{} is true if either of its parameters (called disjuncts) are true. Disjunction does *not* correspond to “or” in English (see exclusive or.) Disjunction uses the symbol $\vee $ or sometimes $+$ when taken in algebraic context. Hence, disjunction of $a$ and $b$ would be written

$$a\vee b$$ |

or

$$a+b$$ |

The truth table^{} for disjunction is

$a$ | $b$ | $a\vee b$ |
---|---|---|

F | F | F |

F | T | T |

T | F | T |

T | T | T |

Title | disjunction |
---|---|

Canonical name | Disjunction |

Date of creation | 2013-03-22 11:54:40 |

Last modified on | 2013-03-22 11:54:40 |

Owner | akrowne (2) |

Last modified by | akrowne (2) |

Numerical id | 14 |

Author | akrowne (2) |

Entry type | Definition |

Classification | msc 03B05 |

Synonym | logical or |

Synonym | disjunctive truth function |

Related topic | Conjunction^{} |

Related topic | PropositionalLogic |