search

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

In appendix A, add | as alternative for disjunction ("or") #68

Closed david-a-wheeler closed 1 year ago

david-a-wheeler commented 1 year ago

Please modify Appendix A to add "|" as an alternative symbol for disjunction ("or"), both in the discussion about "or" and in the following summary table.

This is used. For example, prover9 uses "|" for "or", "&" for "and", and so on, as documented here: https://www.cs.unm.edu/~mccune/prover9/manual/2009-11A/syntax.html

Thanks so much!

rzach commented 1 year ago

Fixed in 33bdea908cbc772a1f18d2814c1200b8cb44cf4b, thanks!