resumo equivalencias e negações logicas

Prévia do material em texto

TABELA RESUMO DA TABUADA LÓGICA Podemos adotar a tabuada lógica baseada na seguinte tabela: CONECTIVO SIMBOLOGIA SERÁ VERDADE QUANTO e Todas as proposições forem verdade ou V Pelo menos uma proposição for verdade Se... Então Sempre verdade, exceto VF (Vera Fischer) ou Ou V Exatamente VF ou FV se e somente se Valores iguais ou FF RESUMO PARA NEGAÇÃO DE PROPOSIÇÃO COMPOSTA Para concretizar essa informação sobre negação de uma proposição composta segue uma tabela com resumo de todos conectivos e a respectiva regra para negar os mesmos. CONECTIVO NEGAÇÃO PROPOSIÇÕES e ou Negar ambas as proposições ou e Negar ambas as proposições Se...então e Manter a 1° proposição e negar a 2° (MANE) se e somente se Manter ambas as proposições ou...ou ou...ou Negar a 1° proposição e manter a Manter a 1° proposição e negar a 2°. Manter ambas as proposições se e somente se se somente se Negar a 1° proposição e manter a se somente se Manter a 1° proposição e negar a 2°. TABELA RESUMO DE EQUIVALÊNCIA NOME CONECTIVO PROPOSIÇÃO EQUIVALÊNCIA CONJUNÇÃO P^Q Q^P DISJUNÇÃO CONDICIONAL DISJUNÇÃO EXCLUSIVA K Q (P V P Q) BICONDICIONAL (PPRIMEIRA LEI DE MORGAN Em linguagem simples podemos dizer seguinte: negar duas proposições ligadas com "e" - ou seja, uma conjunção - é 0 mesmo que negar duas proposições e ligá-las com "ou" (ou seja, transformá-las em uma disjunção. Considere que são duas proposições. 0 que acabei de afirmar pode ser escrito da seguinte forma, simbolicamente: SEGUNDA LEI DE MORGAN Agora vamos à Segunda Lei. Em português claro ela diz que negar duas proposições ligadas por "ou" é mesmo que negar as duas proposições e juntá-las com "e". Novamente considerando "p" e "q" duas proposições, temos a seguinte representação simbólica: