YOUTUBE - @fazquestao

INSTA - @fazquestao.diretoaoponto

MATEMÁTICA BÁSICA – LÓGICA MATEMÁTICA

EQUIVALÊNCIAS LÓGICAS
A “Equivalência Lógica” se preocupa em demonstrar se, duas proposições, sejam
elas simples ou compostas, são:

 Equivalentes – Proposição 1 é EQUIVALENTE da Proposição 2

 Excludentes – Proposição 1 é a NEGAÇÃO da Proposição 2

ATENÇÃO – Tanto a proposição 1 quanto a proposição 2 podem ser simples

ou compostas. Normalmente, a maior dificuldade está em verificar a
Equivalência ou Negação de Proposições Compostas

NEGAÇÃO DE PROPOSIÇÕES SIMPLES (~)

Trata-se de algo simples, não sendo necessária uma tabela verdade para
visualizar. Imagine a seguinte proposição:

 Ricardo é um ótimo professor (Verdade)

 Ricardo NÃO é um ótimo professor (Negação da Proposição)

Imaginando o inverso, temos a seguinte proposição:

 Ricardo NÃO é um ótimo professor (Verdade)

 Ricardo é um ótimo professor (Negação da Proposição)

SEM SEGREDOS – A Negação de uma proposição simples, é simplesmente

“negá-la” se afirmativa, ou “afirma-la” se negativa.

NEGAÇÃO DE “TODO” E “NENHUM”

Mesma ideia da anterior, para que eu negue a proposição “TODO PATO É
BRANCO”: Basta imaginar que:

 ALGUM – Pato NÃO é Branco

 PELO MENOS UM – Pato NÃO é Branco

 EXISTE – Pato QUE NÃO é Branco

#FAZQUESTÃO
1
YOUTUBE - @fazquestao
INSTA - @fazquestao.diretoaoponto
Já para que eu negue a proposição “NENHUM PATO É BRANCO”: Basta imaginar
que:
 ALGUM – Pato é Branco

 PELO MENOS UM – Pato é Branco

 EXISTE – Pato que é Branco

NEGAÇÃO DE “MAIOR”, “MENOR” E “IGUAL”
Mesma ideia, são proposições e suas negações:
 Isso é “MAIOR” que aquilo – Isso é “MENOR” ou “IGUAL” àquilo

 Isso é “MENOR” que aquilo – Isso é “MAIOR” ou “IGUAL” àquilo

 Isso é “IGUAL” que aquilo – Isso é “DIFERENTE” daquilo

NEGAÇÃO DE PROPOSIÇÕES COMPOSTAS

Uma proposição é uma afirmação que pode ser dada como verdadeira ou falsa.
Quando tratamos de proposições compostas, temos que ter um certo cuidado, uma vez
que o pensamento “usual” não é suficiente para responder as questões propostas.

Então, para que duas proposições compostas sejam opostas:

 Uma proposição é a negação da outra quando são formadas pelas mesmas

proposições simples, e

 Os resultados das tabelas-verdade são contrários

Aqui, vale a boa e velha DECOREBA para resolver as negações de proposições

compostas, uma vez que temos que as mais comuns são:
A ^ B E ~A V ~B – NEGAÇÃO

LEMBRE-SE – A Tabela verdade (A E B) tem resultado totalmente contrário

à tabela verdade (Negação de A OU Negação de B)

EXEMPLO – Ricardo é Forte E Inteligente

(NEGAÇÃO) Ricardo NÃO é forte OU NÃO é inteligente

#FAZQUESTÃO
2
YOUTUBE - @fazquestao
INSTA - @fazquestao.diretoaoponto
A V B E ~A ^ ~B – NEGAÇÃO
LEMBRE-SE – A Tabela verdade (A OU B) tem resultado totalmente
contrário à tabela verdade (Negação de A E Negação de B)

EXEMPLO – Ricardo é Forte OU Inteligente

(NEGAÇÃO) Ricardo NÃO é forte E NÃO é inteligente

A  B E A ^ ~B – NEGAÇÃO
LEMBRE-SE – A Tabela verdade (SE A ENTÃO B) tem resultado totalmente
contrário à tabela verdade (A E Negação de B)

EXEMPLO – SE Ricardo é Forte ENTÃO ele é Inteligente

(NEGAÇÃO) Ricardo é forte E NÃO é inteligente

A  B E “(A ^ ¬B) ∨ (B ∧ ¬A)” OU “A V B” – NEGAÇÃO

LEMBRE-SE – A Tabela verdade (A SE e SOMENTE SE B) tem resultado
totalmente contrário à tabela verdade (A E Negação de B ou B E negação de A)

Também tem resultado contrário à “A ou B”

EXEMPLO – O Aluno passa SE e SOMENTE SE estuda no Faz Questão

(NEGAÇÃO 1) O Aluno passa e NÃO estuda no Faz Questão OU o aluno

Estuda no Faz Questão e NÃO Passa

(NEGAÇÃO 2) O aluno passa OU estuda no Faz Questão

#FAZQUESTÃO
3
YOUTUBE - @fazquestao
INSTA - @fazquestao.diretoaoponto
PROPOSIÇÕES EQUIVALENTES - A B
Pensamento contrário ao que vimos até então, duas proposições compostas são
equivalentes quando:
 São formadas pelas mesmas proposições simples

 Resultados das tabelas-verdade são idênticos

LEIS ASSOCIATIVAS
 “(A ^ B) ^ C” ⇔ “A ^ (B ^ C)”.

EXEMPLO:

A – Ricardo é um bom Professor

B – Ricardo idealizou o Faz Questão
C – Ricardo tem ótimo alunos

Ricardo é bom professor E Idealizou o Faz Questão, E tem ótimos alunos

José é um bom professor E Idealizou o Faz Questão, E tem ótimos alunos

(Equivalência)

 “(A V B) V C” ⇔ “A V (B V C)”.

EXEMPLO – MESMA COISA do exemplo anterior, apenas trocando “E”

por “OU”

LEIS DISTRIBUTIVAS
 A ^ (B V C) ⇔ (A ^ B) V (A ^ C)
EXEMPLO:

A – Ricardo é um bom Professor

B – Ricardo idealizou o Faz Questão
C – Ricardo tem ótimo alunos

Ricardo é bom professor E Idealizou o Faz Questão OU tem ótimos alunos

Ricardo é um bom professor E Idealizou o Faz Questão, OU Ricardo é um

bom professor E tem ótimos alunos (Equivalência)

 A V (B ^ C) ⇔ (A V B) ^ (A V C)
EXEMPLO – MESMA COISA do exemplo anterior, apenas trocando “E”
por “OU”
#FAZQUESTÃO
4
YOUTUBE - @fazquestao
INSTA - @fazquestao.diretoaoponto
LEIS DA DUPLA NEGAÇÃO
Basicamente, na lógica matemática, quando negamos duas vezes, ESTAMOS
ARFIMANDO.
 NÃO é verdade que Ricardo NÃO é professor

 Ricardo é professor (Equivalência da Dupla Negação)

EQUIVALÊNCIA DA CONDICIONAL
 “A  B” ⇔ “~A V B”
EXEMPLO:

A – Ricardo é um bom Professor

B – Ricardo idealizou o Faz Questão

SE Ricardo é bom professor ENTÃO Idealizou o Faz Questão

Ricardo NÃO é um bom professor OU Ricardo Idealizou o Faz Questão

(Equivalência)

 “A  B” ⇔ “~B  ~A” (Contra Recíproca ou Contra Positiva)

EXEMPLO:

A – Ricardo é um bom Professor

B – Ricardo idealizou o Faz Questão

SE Ricardo é bom professor ENTÃO Idealizou o Faz Questão

SE Ricardo NÃO idealizou o Faz Questão ENTÃO Ricardo NÃO é um bom

professor (Equivalência)

INTERSECÇÃO DAS SENTENÇAS

Podemos dizer que é uma “consequência lógica” das equivalências condicionais,
sem muitas delongas ou exemplificações, temos que:

 “A v B” ⇔ “~A  B”

 “A v B” ⇔ “~B  A”

#FAZQUESTÃO
5