urp:geometry

Truth tables: first columns : True/False values of the variables, such as p, q, or p' or ~p for inverse values. Next columns are logic combinations of the variables

p | q | p ⋂ q | p ⋃ q | p ⇒ q |

T | T | T | T | T |

T | F | F | T | F |

F | T | F | T | T |

F | F | F | F | T |

p ⇒ q means condition p implies condition q. If p is true, then an implication can be drawn or not, depending on q. If p is false, then an implication cannot be ruled out, regardless of q, so it is left as true.

- 11 pages of definitions, postulates and theorems: http://www.ouchihs.org/ourpages/auto/2013/7/26/52822673/Geo-PostulatesTheorems-List.pdf

Back to math page.

urp/geometry.txt · Last modified: 2021-11-17 by nerf_herder