Question

Utilizando a lógica de predicados, prove que os argumentos abaixo são válidos:
a) (∀x)(A(x)⇒B(x)) ∧ (∃x)(D(x) ∧ [B(x)]') ∧ (∀x)(A(x) ∨ C(x)) ⇒ (∃x)(D(x) ∧ C(x))
b) (∀x)(R(x) ∧ S(x) ⇒ T(x)) ∧ [(Q(a)]' ∧ S(a) ∧ (∀x)(P(x) ⇒ Q(x) ∨ R(x)) ⇒ [P(a) ⇒ T(a)]
c) (∀x)(A(x)⇒B(x) ∨ C(x)) ∧ (∀x)(C(x) ∧ D(x) ⇒ E(x)) ∧ [B(t)]' ∧ D(t) ⇒ [A(t) ⇒ E(t)]
d) (∀x)(A(x) ∧ [B(x)]') ∧ (∀x)(D(x) ⇒ B(x)) ∧ (∀x)(D(x) ∨ C(x)) ⇒ (∃x)(A(x) ∧ C(x))

Answer 1

Resposta:

87533 e 9754 9653 9753 9755,#&$£#%#^#'fyegf8gyegg