Contradiction #2
shnarazk
started this conversation in
Journal (JP)
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
absurdを知っておかないと。example (p: True) (q: ¬True) :False := absurd p qBeta Was this translation helpful? Give feedback.
All reactions