I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that is submitted through Aplia, so I need it to be precise and the assignment is due tonight, so I would like it done before tonight please!
This is the key:
The * = dot
The > = horseshoe
The v = wedge
The ≡ = triple bar
The ~ = tilde
The statement after the / (slash) is the conclusion that I need.
The problem is:
1. R ≡ ~O
/ (~T > M) v (T > ~H)
1 answer