anexo_questao_3888929

Prévia do material em texto

ARVORE DE REFUTAÇÃO OPERADOR LOGICO FORMULA REGRA EXEMPLO Negação Negada ou Empilha Dupla Negação 9. флф Conjunção ou Empilha 9. Conjunção Negada ou Bifurca N Disjunção Bifurca Disjunção Negada Empilha Condicional - Condicional Negada Empilha Empilha Bicondicional e Bifurea Empilha 4) Bicondicional Negado 4) e TABELA VERDADE Negação Conjunção Disjunção Disjunção Condicional Bicondicional Inclusiva Exclusiva P Q ~P PAQ PvQ P-Q P+Q 1 V V F V V F V V 2 V F F F V V F F 3 F V V F V V V F 4 F F V F F F V V REGRAS DE INFERENCIA Introdução Universal (IU) Introdução Existencial (IE) Eliminação do Universal (EU) Eliminação do Existencial (EE) EQUIVALENCIAS NOS QUANTIFICADORES Fx Fx BxFx Fx Fx