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

Necessary and sufficient conditions #15

Closed catrincm closed 5 years ago

catrincm commented 5 years ago

Should be given with qunantifiers rather than modal claims.