1. EQUIVALÊNCIAS LÓGICAS

1. EQUIVALÊNCIAS LÓGICAS

1. Duas proposições são LOGICAMENTE EQUIVALENTES se e somente se possuem a mesma tabela-verdade.

   • Isto quer dizer que se as proposições p e q são equivalentes, então elas possuem os mesmos valores lógicos em todas as possibilidades e vice-versa: se as proposições possuem os mesmos valores lógicos em todas as linhas da tabela-verdade, então elas são equivalentes.
     • Esta equivalência nos ensina que toda proposição composta pelo “se e somente se” pode ser reescrita utilizando o conectivo “se e somente se”: basta que você negue os dois componentes.
       • Lembre-se que uma proposição composta pelo “se e somente se” é verdadeira quando os dois componentes possuem valores iguais.
         • NÃO CONFUNDA "SE e somente Se" com "Se..., então..."

2. Este tópico é tão importante (PARA O TEMPO DE PROVA) que vou colocar um monte de corujas.

   • E, obviamente, você não precisará ficar construindo a tabela-verdade dessas equivalências toda vez. Basta que você aprenda o procedimento para construir as equivalentes a partir de uma proposição dada.
     • ISSO AQUI É DO CARALHOOOO
       • Outro aspecto muito importante nas equivalências é a comutatividade dos conectivos “e”, “ou”, “ou...ou...” e “se e somente se”. Isto quer dizer você pode trocar a ordem dos componentes se estiver usando algum desses conectivos. Assim,
         • A ÚNICA QUE A ORDEM IMPORTA É O "SE..., ENTÃO..."

Bilder und Dateien der Mindmap