1.9 Revisão Final

Question 1

Em Matéria de Raciocínio Lógico, quanto à Revisão Final,

1) A sentença “x = 2.023” ____ (é / não é) uma proposição.

2) A sentença “Natal é tempo de renovação!” ____ (é / não é) uma proposição

3) A sentença “4 > 5” ____ (é / não é) uma proposição

4) A sentença “Maria tem bom coração” ____ (é / não é) uma proposição

Answer 1

1) Não é - pois é considerada uma sentença em aberto

2) Não é - pois toda sentença exclamativa não é proposição

3) É - pois é possível atribuir verdadeiro ou falso para ela

4) Não é - pois é uma sentença opinativa, não carrega uma verdade

Não são preposições lógicas sentenças:
* Interrogativas;
* Exclamativas
* Sentenças abertas;
* Opinativas;
* Sem verbo

Question 2

Em Matéria de Raciocínio Lógico, quanto à Revisão Final,

Como funcionam o Equivalente Lógico e a Negação da Bicondicional?

São 2 Equivalentes Lógicos e 2 Negações

Answer 2

1) O Equivalente Lógico da Bicondicional é como se fosse a quebra da condicional em duas condicionais unidas pelo conector E

P ↔ Q ≡ (P → Q) ∧ (Q → P)

2) Uma outra forma de escrever o Equivalente Lógico, seria como se fosse P E Q OU NÃO-P E NÃO-Q

P ↔ Q = (P ∧ Q) ∨ (¬P ∧ ¬Q)

3) A negação da Bicondicional é justamente a Disjunção Exclusiva (e a negação da Disjunção Exclusiva é justamente a Bicondicional).

~(P ↔ Q) = P ⊻ Q
~(P ⊻ Q) = P ↔ Q

4) Além disso, a negação pode ser quebrada para a negação de somente um dos termos.

~(P ↔ Q) = ~P ↔ Q = P ↔ ~Q
~(P ⊻ Q) = ~P ⊻ Q = P ⊻ ~Q

Question 3

Em Matéria de Raciocínio Lógico, quanto à Revisão Final,

Como funciona o Equivalente Lógico e a Negação da Disjunção Exclusiva?

1 Equivalente Lógico e 2 Negações

Answer 3

1) O Equivalente Lógico da Disjunção Exclusiva é quase uma sentença como P E NÃO-Q OU NÃO-P E Q

P ⊻ Q = (P∧¬Q)∨(¬P∧Q)

2) A negação da Disjunção Exclusiva equivale à Bicondicional; e a negação da Bicondicional equivale à Disjunção Exclusiva

~(P ⊻ Q) = P ↔ Q
~(P ↔ Q) = P ⊻ Q

3) Além disso, a negação da Disjunção Exclusiva pode ser escrita como uma sentença do tipo P E Q OU NÃO-P E NÃO-Q (que é um equivalente lógico da Bicondicional)

~(P ⊻ Q) = (P∧Q)∨(¬P∧¬Q)