Zulip Chat Archive
Stream: new members
Topic: example : ((p ∨ q) → r) → (p → r) ∧ (q → r)
Eduardo Cavazos (Oct 19 2019 at 14:35):
Posted another question regarding section 3.6 of TPIL:
https://stackoverflow.com/q/58464712/268581
Yury G. Kudryashov (Oct 19 2019 at 14:44):
Answered.
Eduardo Cavazos (Oct 19 2019 at 15:04):
Answered.
Thanks @Yury G. Kudryashov :-) I've updated the question with an approach based on your suggestion.
Last updated: Dec 20 2023 at 11:08 UTC