search

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic
Creative Commons Attribution Share Alike 4.0 International
1 stars 0 forks source link

quotation around logic #2

Open catrincm opened 6 years ago

catrincm commented 6 years ago

Remove all quotation symbols around logic for ease.

catrincm commented 5 years ago

perhaps worth checking. I just deleted all. I added a comment in the "quotation" section. Though in that section I removed much of the complicated material. Perhaps I'm missing something important now.

catrincm commented 3 years ago

I think I might re-add the quotations, especially around arguments, the difference is confusing them as they're thinking we're claiming the entailment