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 ⊢ VB) 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
alvesdasilvamariaedu está aguardando sua ajuda, Clique aqui para responder.
Mais perguntas de Lógica
Lógica
Lógica
O seguinte trecho de texto é um problema de lógica: João tem um irmão mais novo. João é o irmão mais velho.
Alícia Galvão - há 2 anos
Lógica
