# transitive

The *transitive property* of logic is

$$(a\Rightarrow b)\wedge (b\Rightarrow c)\Rightarrow (a\Rightarrow c)$$ |

Where $\Rightarrow $ is the conditional truth function. From this we can derive that

$$(a=b)\wedge (b=c)\Rightarrow (a=c)$$ |

Title | transitive^{} |
---|---|

Canonical name | Transitive1 |

Date of creation | 2013-03-22 12:14:16 |

Last modified on | 2013-03-22 12:14:16 |

Owner | akrowne (2) |

Last modified by | akrowne (2) |

Numerical id | 5 |

Author | akrowne (2) |

Entry type | Definition |

Classification | msc 03B05 |

Synonym | transitive property |