rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Material conditional is also called material implication #71

Open david-a-wheeler opened 1 year ago

david-a-wheeler commented 1 year ago

Clarify early on that this definition of the conditional is the material conditional (readers might otherwise not realize this), and make it clear that an alternative term is "material implication". The term material implication is also widely used, and it's important that students see common terms so that they can begin to find the relevant literature.

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com