Você está na página 1de 3

Regras de Inferência:

MP  

~E ~~

I  

E  
 
I  .

E   

I  

E  
 
PC { } ├ 

RAA { } ├   ~
~
EU x  .
[x/a]
IE  .
$x [a/x]
IU  .
x [c/x]
Restrição: c não ocorre em premissa nem em hipótese
EE $x  { [x/c]} ├ 

Restrição: c não ocorre em premissa nem em hipótese nem em 

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.

1
B1) Mostre que {P  ~R, Q  P}├ Q  ~R usando regras de inferência.
B2) Mostre que {~P  (Q  R), Q}├ ~P  R usando regras de inferência.
B3) Mostre que {~P  ~~Q, R  ~~~P}├ R  Q usando regras de inferência.
B4) Mostre que {P  (~Q  R)}├ P  (P  ~Q) usando regras de inferência.
B5) Mostre que {(P  ~Q)  (R  ~~S), P}├ ~Q  S usando regras de inferência.
B6) Mostre que {Q}├ P  ((P  Q)  (P  R)) usando regras de inferência.
B7) Mostre que {P, R  ~~(P  Q)}├ R  ((R  S)  Q) usando regras de inferência.
B8) Mostre que {P  R, Q  R}├ (P  Q)  R usando regras de inferência.
B9) Mostre que {Q  (P  (Q  R))}├ Q  P usando regras de inferência.
B10) Mostre que {(P  Q)  (Q  P)}├ (P  Q)  (P  Q) usando regras de inferência.
B11) Mostre que {R  (S  ~T), (P  ~Q)  R}├ P  (~T  R) usando regras de inferência.
B12) Mostre que {Q  (~~P  (~R  Q))}├ Q  (P  Q) usando regras de inferência.
B13) Mostre que {R  P, (P  R)  Q}├ (P  R)  Q usando regras de inferência.
B14) Mostre que {(P  Q)  (R  S), R  ~T, S  ~T}├ Q  ~T usando regras de inferência.
B15) Mostre que {(~P  Q) (T  (R  S)), R  ~~U, Q, S  ~~U}├ ~P  U usando regras de inferência.
B16) Mostre que {(Q  P)  R}├ (R  Q)  P usando regras de inferência.
B17) Mostre que {~R  P, (~R  P)  (~S  Q)}├ (P  ~R)  (~S  ~T) usando regras de inferência.
B18) Mostre que {S  ((P  ~Q)  (~R  S))}├ ~~S  (~Q  S) usando regras de inferência.
B19) Mostre que {~R  T, (P  ~Q)  (~R  ~S), ~S  T}├ (~Q  ~P)  (T  ~Q) usando regras de inferência.
B20) Mostre que { Q  ((~R  S)  (Q  ~P))}├ (Q  ~R)  (~R  ~P) usando regras de inferência.
B21) Mostre que {~R  U, (P  ~Q) ((~R  ~S)  T), ~Q, ~S  U}├ ~~P  (U  R) usando regras de inferência.
B22) Mostre que {(~Q  ~P)  ~~R, R  (S  ~T)}├ ~P  (~T  ~S) usando regras de inferência.
B23) Mostre que {Q  ~R, (~P  S)  (~R  Q)}├ (~~S  ~P)  (~R  Q) usando regras de inferência.
B24) Mostre que {~P, S  ~R, (~R  ~P)  ~Q}├ S  ~Q usando regras de inferência.
B25) Mostre que {(P  ~Q)  ~R, (S  ~R)  (~T  Q)}├ P  ~T usando regras de inferência.

C1) Mostre que {~R, P  R, Q  P}├ ~Q usando regras de inferência.


C2) Mostre que {~P  (Q  R), ~R, Q}├ P usando regras de inferência.
C3) Mostre que {P  ~~Q, ~Q}├ ~P usando regras de inferência.
C4) Mostre que {P  (Q  R), ~(P  Q)}├ ~P usando regras de inferência.
C5) Mostre que {(P  Q)  (R  ~~S), ~S, Q}├ ~P usando regras de inferência.
C6) Mostre que {~(P  Q)}├ ~Q usando regras de inferência.
C7) Mostre que {~(Q  R), P  ~~Q}├ ~P usando regras de inferência.
C8) Mostre que {~R, P  R, Q  R}├ ~(P  Q) usando regras de inferência.
C9) Mostre que {Q  (P  (Q  R)), ~P}├ ~Q usando regras de inferência.
C10) Mostre que {~(P  Q), (P  Q)  (Q  P)}├ ~(P  Q) usando regras de inferência.
C11) Mostre que {~T, R  (S  T), (P  Q)  R}├ ~Q usando regras de inferência.
C12) Mostre que {Q  (P  (Q  R)), ~(P  Q)}├ ~Q usando regras de inferência.
C13) Mostre que {P  R, ~Q, (P  R)  Q}├ ~(R  P) usando regras de inferência.
C14) Mostre que {(P  Q)  (R  S), R  ~T, T, S  ~T}├ ~Q usando regras de inferência.
C15) Mostre que {(~P  Q) (T  (R  S)), ~U, R  ~~U, Q, S  ~~U}├ P usando regras de inferência.
C16) Mostre que {R  ((Q  P)  R), ~P}├ ~(R  Q) usando regras de inferência.
C17) Mostre que {~(~S  ~T), (~R  P)  (~S  Q), P  ~R}├ ~(~R  P) usando regras de inferência.
C18) Mostre que {~(~Q  S), S  ((P  ~Q)  (~R  S))}├ ~S usando regras de inferência.
C19) Mostre que {~R  T, (P  ~Q)  (~R  ~S), ~S  T, ~T}├ Q usando regras de inferência.
C20) Mostre que {P, Q  ((~R  S)  (Q  ~P))}├ ~(Q  ~R) usando regras de inferência.
C21) Mostre que {~(U  R), ~R  U, (P  ~Q) ((~R  ~S)  T), ~Q, ~S  U}├ ~P usando regras de inferência.
C22) Mostre que {T, (~Q  ~P)  ~~R, R  (S  ~T)}├ P usando regras de inferência.
C23) Mostre que {S  (~P  (Q  ~R)), (~P  S)  (~R  Q), ~(~R  Q)}├ ~S usando regras de inferência.
C24) Mostre que {(P  ~Q)  (~R  S), R}├ ~P usando regras de inferência.
C25) Mostre que {(P  ~Q)  (~R  S), P  (~Q  R)}├ ~P usando regras de inferência.

2
D1) Mostre que {~P(a), Q(a), x (~P(x)  Q(x))  ~R(x)}├ ~R(a) usando regras de inferência.
D2) Mostre que {x R(x)  P(x), ~Q(a), x ~Q(x)  R(x)}├ P(a) usando regras de inferência.
D3) Mostre que {P(a), x P(x)  ~Q(x), x P(x)  R(x)}├ ~Q(a)  R(a) usando regras de inferência.
D4) Mostre que {P(a), ~Q(a)}├ $x P(x)  ~Q(x) usando regras de inferência.
D5) Mostre que {~Q(b), P(a)}├ $x ~Q(x)  $y P(y) usando regras de inferência.
D6) Mostre que {~P(a), Q(a), x (~P(x)  Q(x))  ~R(x)}├ $x ~R(x) usando regras de inferência.
D7) Mostre que {x R(x)  P(x), ~Q(a), x ~Q(x)  R(x)}├ $x P(x) usando regras de inferência.
D8) Mostre que {P(a), x P(x)  ~Q(x), x P(x)  R(x)}├ $x ~Q(x)  R(x) usando regras de inferência.
D9) Mostre que {x ~P(x)  (y Q(y)  R(x, y)), ~P(a), Q(b)}├ R(a,b) usando regras de inferência.
D10) Mostre que {x ~P(x)  ~~Q(x), ~~~P(b)}├ $x Q(x) usando regras de inferência.
D11) Mostre que {P(a), Q(b), x (P(x)  Q(x))  R(x)}├ R(a)  R(b) usando regras de inferência.
D12) Mostre que {x ~P(x)  (Q(x)  R(x)), ~P(b)}├ $x ~P(x)  Q(x) usando regras de inferência.
D13) Mostre que {x (~P(x)  Q(x))  (R(x)  ~S(x)), ~P(a), ~~Q(a)}├ $x ~S(x) usando regras de inferência.
D14) Mostre que {~P(a)  Q(a), x Q(x)  ~R(x), x ~P(x)  ~R(x)}├ $x ~R(x) usando regras de inferência.
D15) Mostre que {x P(x)  (~Q(x)  R(x)), ~Q(b)}├ $x P(x) usando regras de inferência.
D16) Mostre que {x P(x)  ~Q(x), x (P(x)  ~Q(x))  (~Q(x)  P(x))}├ $x P(x)  ~Q(x) usando regras de inferência.

E1) Mostre que {x P(x)  Q(x)}├ x P(x)  x Q(x) usando regras de inferência.
E2) Mostre que {x P(x)  x Q(x)}├ x P(x)  Q(x) usando regras de inferência.
E3) Mostre que {x P(x)  ~Q(x), x (P(x)  ~Q(x))  (~Q(x)  P(x))}├ x P(x)  ~Q(x) usando regras de inferência.
E4) Mostre que {$x ~P(x)  Q(x)}├ $x Q(x) usando regras de inferência.
E5) Mostre que {x P(x)  ~Q(x), $x P(x)}├ $x ~Q(x) usando regras de inferência.
E6) Mostre que {$x P(x)  ~Q(x)}├ $x P(x)  $x ~Q(x) usando regras de inferência.
E7) Mostre que {$x P(x), x Q(x)}├ $x P(x)  Q(x) usando regras de inferência.
E8) Mostre que {$x ~Q(x), x (R(x)  ~Q(x))  (~P(x)  S(x))}├ $x ~P(x) usando regras de inferência.
E9) Mostre que {$x P(x)  ~Q(x), x R(x)  P(x), x R(x)  ~Q(x)}├ $x ~Q(x) usando regras de inferência.
E10) Mostre que {x P(x)  (Q(x)  R(x)), $x Q(x)}├ $x P(x)  Q(x) usando regras de inferência.
E11) Mostre que {x ~P(x)  (Q(x)  R(x)), $x ~P(x)}├ $x ~P(x)  Q(x) usando regras de inferência.
E12) Mostre que {x (~P(x)  Q(x))  (~R(x)  S(x)), $x Q(x), x ~P(x)}├ $x S(x) usando regras de inferência.
E13) Mostre que {$x S(x), x (P(x)  ~Q(x))  (~R(x)  S(x))}├ $x ~Q(x)  S(x) usando regras de inferência.
E14) Mostre que {x ~P(x), $x ~Q(x), x (R(x)  S(x))  (~P(x)  ~Q(x))}├ $x T(x)  S(x) usando regras de inferência.
E15) Mostre que {x ~R(x)  T(x), x (P(x)  ~Q(x))  (~R(x)  ~S(x)), x ~S(x)  T(x), $x ~Q(x)  ~P(x)}├ $x T(x) 
~Q(x) usando regras de inferência.
E16) Mostre que {$x ~P(x), x (~Q(x)  ~P(x))  ~~T(x), x T(x)  (S(x)  ~R(x))}├ $x ~R(x)  ~S(x) usando regras de
inferência.

Você também pode gostar