Question

Prove a validade de cada um dos argumentos lógicos:


e) Dilema construtivo: $p \rightarrow q, a \rightarrow b, p \lor a \vDash q \lor b$

f) Dilema destrutivo: $p \rightarrow q, a \rightarrow b, (\sim q) \lor (\sim b) \vDash (\sim p) \lor (\sim a)$

h) Conjunção: $p, q \vDash p \land q$

Answer 1

Resposta:

como assim???????

Explicação passo-a-passo:

não entendi!!!!!!!!