Ciencia

A1) Mostre que {Q, P ( R, Q ( P}├ R usando regras de inferência.
A2) Mostre que {~P ( (Q ( R), ~P, Q}├ R usando regras de inferência.
A3) Mostre que {~P ( ~~Q, ~~~P}├ Q usando regras de inferência.
A4) Mostre que {P ( (Q ( R), P}├ P ( Q usando regras de inferência.
A5) Mostre que {(P ( Q) ( (R ( S), ~~P, Q}├ S usando regras de inferência.
A6) Mostre que {P}├ (P ( Q) ( (P ( R) usando regras de inferência.
A7) Mostre que {P, ~~(P ( Q)}├ (R ( S) ( Q usando regras de inferência.
A8) Mostre que {P ( Q, P ( R, Q ( R}├ R usando regras de inferência.
A9) Mostre que {P ( (Q ( R), Q}├ P usando regras de inferência.
A10) Mostre que {P ( Q, (P ( Q) ( (Q ( P)}├ P ( Q usando regras de inferência.
A11) Mostre que {P ( Q, R ( (S ( T), (P ( Q) ( R}├ S ( T usando regras de inferência.
A12) Mostre que {P ( (Q ( R), ~~Q}├ P ( Q usando regras de inferência.
A13) Mostre que {P ( R, R ( P, (P ( R) ( Q}├ Q usando regras de inferência.
A14) Mostre que {(P ( Q) ( (R ( S), R ( ~T, Q, S ( ~T}├ ~T usando regras de inferência.
A15) Mostre que {(~P ( Q)( (T ( (R ( S)), ~P, R ( ~~U, Q, S ( ~~U}├ U usando regras de inferência.
A16) Mostre que {(Q ( P) ( R, R ( Q}├ P usando regras de inferência.
A17) Mostre que {~R ( P, (~R ( P) ( (~S ( Q), P ( ~R}├ ~S ( ~T usando regras de inferência.
A18) Mostre que {~~S, (P ( ~Q) ( (~R ( S)}├ ~Q ( S usando regras de inferência.
A19) Mostre que {~R ( T, (P ( ~Q) ( (~R ( ~S), ~S ( T, ~Q ( ~P}├ T ( ~Q usando regras de inferência.
A20) Mostre que {Q ( ~R, (~R ( S) ( (Q ( ~P)}├ ~R ( ~P usando regras de inferência.
A21) Mostre que {~~P, ~R ( U, (P ( ~Q)( ((~R ( ~S) ( T), ~Q, ~S ( U}├ U ( R usando regras de inferência.
A22) Mostre que {~P, (~Q ( ~P) ( ~~R, R ( (S ( ~T)}├ ~T ( ~S usando regras de inferência.
A23) Mostre que {~P ( (Q ( ~R), (~P ( S) ( (~R ( Q), ~~S}├ (~R ( Q) ( (~Q ( R) usando regras de inferência.

Regras de Inferência:
|MP |( ( ( ( |
| |( |
|~E