EQUIVALÊNCIAS LÓGICAS

1 - SE ENTÃO PARA O OU E VICE E VERSA

Nega a primeira parte, mantém a segunda e troca pelo OU

Neymar sentou.

2 - REGRA DA CONTRA POSITIVA

NEGA A DUAS E TROCA DE LUGAR.

Se beber, não dirija

Se dirigir, não beba.

Exemplos.

Se bernardo não é professor, então guilherme não é gerente de banco.

Guilherme ser gerente de banco é condição suficiente para bernardo ser professor.

Equivale a:

Bernardo é professor ou guilherme não é gerente de banco.

Ou Equivale a: Se guilherme é gerente de banco, então bernardo é professor.

Que equivale a: usando a propriedade da cumulatividade do OU

Guilherme não é gerente de banco ou Bernardo é professor.

NEGAÇÕES

NUNCA NEGA E COM E

NUNCA NEGA OU COM OU
NUNCA NEGA SE ENTÃO COM SE ENTÃO.

LEI DE DE MORGAN

NEGA AS DUAS E TROCA PELO OU

EX: Marcos gosta de comer arroz com feijão e Luiza gosta de comer macarrão
logo se eu quero negar, eu nego as duas partes e troco pelo OU

Marcos Não gosta de comer arroz com feijão ou luiza Não gosta de comer macarrão.
Mas eu poderia trocar a ordem, devido a propriedade cumutativa.

A OUTRA POSSIBILIDADE É COM O SE ENTÃO, rega do MANE

Mantem a primeira e nega a segunda e troca o E por Se então.
Ex: Se o marcos gosta de comer arroz com feijão, então luiza Não gosta de comer macarrão.

NEGAR OU É COM E, regra do NENE (LEI DE DE MORGAN).

Pra negar o SE ENTÃO, REGRA DO MANE.

DIAGRAMAS LÓGICOS

Forma regular: ALGUM A NÃO É B

equivalente: NEM TODO A É B.

Algum carro não é importado = Nem todo carro é importado.

X É RELÓGIO E X NÃO É BARATO.

I – (II-III)

NENHUM A É B = TODO A NÃO É B

Nenhum professor é advogado = Todo professor não é advogado ou Todo advogado não é professor.
SE X é A,
então X não é
B.
TODO A É B = NENHUM A NÃO É B.

Todo prefeito é trabalhador = nenhum prefeito não é trabalhador

----------------------------

ALGUM A É B

XÉAEXÉB

Algum carro é importado.

X é carro e X é importado.
TRANSFORMANDO ESSAS FALAS EM CONECTIVOS.

TODO A É B = se X é A, então X é B.
Todo mineiro é brasileiro, fica assim.

Se A é mineiro, então B é brasileiro.