A1) Mostre que {"x P(x)}╞ x P(x) usando o Teorema da Dedução (pelo método da tabela verdade).

Se não for possível,

mostre que {"x P(x)}├ x P(x) usando regras de inferência.
A2) Mostre que {x Q(x)}╞ "x Q(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for possível,
mostre que {x Q(x)}├ "x Q(x) usando regras de inferência.
A3) Mostre que {~("x R(x))}╞ ~(x R(x)) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {~("x R(x))}├ ~(x R(x)) usando regras de inferência.
A4) Mostre que {~(x S(x))}╞ ~("x S(x)) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {~(x S(x))}├ ~("x S(x)) usando regras de inferência.
A5) Mostre que {}╞ x P(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for possível, mostre que
{}├ x P(x) usando regras de inferência.
A6) Mostre que {}╞ "x Q(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for possível, mostre que
{}├ "x Q(x) usando regras de inferência.
A7) Mostre que {}╞ ("x R(x)) → (x R(x)) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {}├ ("x R(x)) → (x R(x)) usando regras de inferência.
A8) Mostre que {}╞ (x S(x)) → ("x S(x)) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {}├ (x S(x)) → ("x S(x)) usando regras de inferência.
A9) Mostre que {"x P(x), x ~P(x)}╞ x P(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {"x P(x), x ~P(x)}├ x P(x) usando regras de inferência.
A10) Mostre que {x Q(x) , x ~Q(x)}╞ "x Q(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {x Q(x), x ~Q(x)}├ "x Q(x) usando regras de inferência.
A11) Mostre que {"x R(x), "x ~R(x)}╞ x ~R(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {"x R(x), "x ~R(x)}├ x ~R(x) usando regras de inferência.
A12) Mostre que {"x S(x), x ~S(x)}╞ "x ~S(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {"x S(x), x ~S(x)}├ "x ~S(x) usando regras de inferência.
A13) Mostre que {~("x P(x))}╞ "x ~P(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {~("x P(x))}├ "x ~P(x) usando regras de inferência.
A14) Mostre que {"x ~Q(x)}╞ ~("x Q(x)) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {"x ~Q(x)}├ ~("x Q(x)) usando regras de inferência.
A15) Mostre que {"x R(x)  ~R(x)}╞ x R(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {"x R(x)  ~R(x)}├ x R(x) usando regras de inferência.
A16) Mostre que {x S(x)  ~S(x) }╞ "x S(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {x S(x)  ~S(x)}├ "x S(x) usando regras de inferência.
A17) Mostre que {"x ~P(x)  P(x)}╞ x ~P(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {"x ~P(x)  P(x)}├ x ~P(x) usando regras de inferência.
A18) Mostre que {x ~Q(x)  Q(x) }╞ "x ~Q(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {x ~Q(x)  Q(x)}├ "x ~Q(x) usando regras de inferência.
A19) Mostre que {"x R(x)  ~R(x)}╞ x ~R(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {"x R(x)  ~R(x)}├ x ~R(x) usando regras de inferência.
A20) Mostre que {x S(x)  ~S(x) }╞ "x ~S(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {x S(x)  ~S(x)}├ "x ~S(x) usando regras de inferência.
A21) Mostre que {"x ~P(x) → P(x)}╞ x P(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {"x ~P(x) → P(x)}├ x P(x) usando regras de inferência.
A22) Mostre que {x Q(x) → ~Q(x) }╞ "x Q(x) usando o Teorema da Dedução (pelo método da tabela verdade). Se não for
possível, mostre que {x Q(x) → ~Q(x)}├ "x Q(x) usando regras de inferência.