Usando as tabelas de verdade, verifique se as conclusões ...

alvesdasilvamariaedu
há 3 anos
Lógica
42

Usando as tabelas de verdade, verifique se as conclusões indicadas são de fato consequência tautológica

das premissas, ou não: A) D → V, D ⊢ V

B) D → V, ~V ⊢ ~D

C) ~C → R, ~R ⊢ C

D) Q ∨ S, ~Q ⊢ S

E) Q → S1, S1 → S2 ⊢ Q → S2

F) F ↔ (S ∨ D), S ⊢ F

G) (S ∨ D) → F, ~F ⊢ ~S & ~D

H) F ↔ (S ∨ D), ~S, ~D ⊢ ~F

I) C, S → A, C → S ⊢ A

J) ~C ∨ ~T, ~C → S, ~T → P ⊢ S ∨ P

RESPONDER

alvesdasilvamariaedu está aguardando sua ajuda, Clique aqui para responder.

Mais perguntas de Lógica

Categorias