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

Syntactic rules for TFL #25

Open catrincm opened 2 years ago

catrincm commented 2 years ago

Rewrite the syntactic rules for TFL in the way the new version of the slides does. Much clearer and communicates the important content rather than feeling just maths-y/