#boolean logic

1 messages · Page 1 of 1 (latest)

arctic mangoBOT
#
  1. Wait patiently for a helper to come along.
  2. Once someone helps you, say thank you and close the thread with:
+close
  1. Feel free to nominate the person for helper of the week in #helper-nominations
eager cairn
#

Write a Hilbert proof for the following theorem schema

[
\vdash ((p \rightarrow q) \vee (p \wedge (\neg q)))
]