search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Correction to solutions 16.A #52

Closed dschlimm closed 2 years ago

dschlimm commented 2 years ago

Title says it all.

rzach commented 2 years ago

Long fixed