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

Symbolising complex sentences #24

Open catrincm opened 2 years ago

catrincm commented 2 years ago

The rewrite seems to have petered out after talking about symbolising complex sentences. I don't even work though an example. What's going on?