Aula 02 - Diagramas lógicos Flashcards
O que são proposições categóricas?
São proposições que apresentam pelo menos um quantificador: TODO, NENHUM e ALGUM
é correto afirmar que TODO A é B?
sim
É correto afirmar que TODO B é A?
NÃO, um elemento dentro do B, não fará parte do A.
TODO B é A não é uma forma comutativa.
TODO A é B é equivalente a?
SE A ENTÃO B
Todo A é B é equivalente a?
Se A, então B
Nenhum A não é B (ou nem todo A é B)
Nenhum A é B é equivalente a ?
Nenhum B é A
Se A, então não B
Todo A não é B
Algum A é B é equivalente a ?
Algum B é A
Algum A não é B é equivalente a ?
A e não B
nem todo A é B
Negação de Todo A é B
ALGUM A NÃO é B
*negar todo = Algum +não
Negação de Nenhum A é B?
ALGUM A é B
*para negar nenhum é sór negar ele por ALGUM
Negação de ALGUM A é B?
NENNHUM A é B
Negação de ALGUM A NÃO É B
TODO A é B
Quando as preposições serão equivalentes?
Quando o resultado de suas tabelas verdades forem idêenticas nos resultados.
- não adianta que só a linha do resultado seja verdadeira, todas as linhas devem ser idênticas.
ex: FFFV e FFFV
Como se nega SE ENTÃO com OU ou o contrário?
- NEGAR PRIMEIRA PARTE
- Trocar o conectivo “Se…então” pelo conectivo “ou” ou trocar o conectivo “ou” pelo “se…então”
- Manter a 2ª parte
Mnemônico - NEyMAr SENTOU
Como transformar uma proposição em uma Contrapositiva?
NEGAR AS DUAS PARTES, e INVERTER as POSIÇÕES
EX: P —–> Q <=====> (~Q) —-> (~P)