Gabarito da 2ª Lista de Exercícios – 2009.1 - Departamento de ...

{A, B, C, D} é insatifatível ⇔ Para toda interpretação, (A^B^C^D) = F⇔ Para toda interpretação, ~(A^B^C^D) = T⇔ ~(A^B^C^D) é uma tautologia.Sendo assim, iremos construir a tabela verdade para mostrar que ~(A^B^C^D) é uma tautologia.Concluímos pela análise da tabela que ~(A^B^C^D), não é uma tautologia, por consequência(A^B^C^D) não é insatisfatível.5. Considere os conjuntos de argumentos indicados a seguir. Determine se os conjuntos de argumentossão satisfatíveis ?a) Marcos não está feliz ou se Sílvia foi ao baile, então Marcos também foi ao baile. Se Marcos estáfeliz, então Sílvia não foi ao baile. Se Marcos foi ao baile, então Sílvia também foi ao baile.Formalizando:M → Marcos está feliz,S → Silvia foi ao baile,B → Marcos foi ao Baile.{M v (S → B), ~M → ~S, B → S}B M S ~S Mv(S → B) ~M → ~S B → ST T T F T T TT T F T T T FT F T F T F TT F F T T T FF T T F T T TF T F T T T TF F T F F F TF F F T T T TComo as linhas 1, 5, 6 e 8 são verdadeiras para (M v (S B)) ^ (~M ~S) ^ (B S) o conjunto de→ → →argumentos é satisfatível.