1.(P & R) → S, S ↔ T, ─T ├ R → ─P
- P v Q, P → (T → S), P → T, S ↔ Q ├ S
any help will be greatly appreciated.
Asked
Active
Viewed 63 times
0
-
2What are "primitive" inference rules ? – Mauro ALLEGRANZA Apr 10 '20 at 17:15
-
For 2), use Disjunction elimination. – Mauro ALLEGRANZA Apr 10 '20 at 17:16
-
For 1), use Conditional proof and Negation introduction. – Mauro ALLEGRANZA Apr 10 '20 at 17:18