PHI 1101 Lecture 6: January 25th, 2018

• School: University of Ottawa
• Department: Philosophy
• Course: PHI 1101
• Professor: Vincent Bergeron

Document Summary

If a implies b it is not necessarily the case that b implies a. A = jimmy is older than sally, b = jimmy is 12. If a implies b and b implies c, then a implies c (transitivity) When an argument is valid, we also say that the premises imply the conclusion. If you have an argument that is valid that means that the premises imply the conclusion to be true. The truth of the premises will guarantee the proof of the conclusion. When a implies b and b implies a then we say that a and b are logically equivalent. Logical equivalence: two propositions are logically equivalent if it is not possible for.