metavariables also for FOL

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

Closed catrincm closed 5 years ago

catrincm commented 6 years ago

Are introduced specifically as standing for TFL sentences. But used also for FOL sentences.

catrincm commented 5 years ago

I simply changed the definition so it says "formal language"