For or: p → p ∨ q and p → p ∨ q - Githubissues

abuseofnotation / category-theory-illustrated

A book about category theory

https://abuseofnotation.github.io/category-theory-illustrated/

320 stars 35 forks source link

For or: p → p ∨ q and p → p ∨ q #30

Closed majidaldo closed 1 year ago

majidaldo commented 1 year ago

One antecedent needs to be q

abuseofnotation commented 1 year ago

Thanks, corrected