DIAGRAMAS LÓGICOS

Question 1

Quais são os quantificadores?

Answer 1

• TODO e NENHUM: universais;

- ALGUM: existencial;

Question 2

O que são formas canônicas?

Answer 2

• são as formas básicas;
• todo A é B: universal afirmativa;
• nenhum A é B: universal negativa;
• algum A é B: existencial/particular afirmativa;
• algum A que não é B: existencial/particular negativa;

Question 3

O que são formas comutativas?

Answer 3

-são formas que sendo alterada não prejudica o sentido;

Question 4

O que são as EQUIVALÊNCIAS lógicas?

Answer 4

-duas proposições são equivalentes quando suas tabelas-verdade forem idênticas;

Question 5

Em uma equação de equivalência, qual a regra para resolução?

Answer 5

-parênteses, colchetes, “e” ou “ou” (na ordem que aparecer), “se…então”, “se e somente se”;

Question 6

Quais as regras para escrever um “se … então” como um “ou” ou vice-versa, nas equações de equivalência?

Answer 6

1º - Negar a primeira parte;

2º - Trocar o conectivo “se…então” pelo conectivo “ou”, ou ao contrário;

3º - Manter a segunda parte;

Question 7

Quais as regras para escrever um “se … então” como outro “se … então” (contrapositiva), nas equações de equivalência?

Answer 7

• devemos negar as duas partes e depois “inverter” as posições das proposições obtidas;
• exemplo: “Se beber, não dirija. Se for dirigir, não beba.”

Question 8

Quais as regras para escrever uma bicondicional como duas condicionais?

Answer 8

-toda proposição com conectivo “se e somente se” pode ser reescrita a partir da conjunção de duas condicionais;

• uma que “vai” de P para Q e outra que “volta” de Q para P;

Question 9

Quais as regras para escrever uma equivalência com “ou…ou”?

Answer 9

-necessariamente uma das partes será verdadeira;

Question 10

Quais as regras de negação do “E” (Lei de De Morgan)?

Answer 10

1ª possibilidade:

-negar todas as partes e trocar o conectivo “e” pelo “ou”;

2ª possibilidade:

• manter a primeira parte;
• trocar o “e” pelo “se…então”;

-negar a segunda parte;