Capítulo I - 4. Condicionais

Question 1

1. Ainda a partir de proposições dadas podemos construir novas proposições mediante o emprego de outros dois símbolos lógicos chamados

Answer 1

condicionais:
Condicional e bicondicional

Question 2

2. Colocando o condicional → entre duas proposições p e q, obtemos uma nova
   proposição, p → q, que se lê:

Answer 2

“p implica q”

“se p, então q”,

“p é condição suficiente para q”,

“q é condição necessária para p”.

Question 3

3. No condicional p → q, as proposições p e q são chamadas, respectivamente, de

Answer 3

antecedente e consequente

Question 4

4.
p: dois é divisor de quatro (2 | 4)
q: quatro é divisor de vinte (4 | 20)

Como fica p→q

Answer 4

p→q: se 2|4, então 4|20.

Question 5

5. postular um critério para classificar o valor lógico de uma proposição condicional

Answer 5

O condicional p → q é falso somente quando p é verdadeira e q é falsa;.

Tabela verdade do condicional

P ~Q P → Q
V V V
V F F
F V V
F F V

Question 6

6. Colocando o bicondicional ↔ entre duas proposições p e q, obtemos uma nova
   proposição, p ↔ q, que se lê:

Answer 6

“p se, e somente se, q”,

“p é condição necessária e suficiente para q”,

“q é condição necessária e suficiente para p” ou

“se p, então q e reciprocamente”.

Question 7

7. p: 4 ÷ 2 = 2
   q: 4 = 2 × 2

Como fica p↔q?

Answer 7

P↔Q: 4 ÷ 2 = 2 se, e somente se,
4 = 2 × 2

(Verdadeiro)

Question 8

8. postular um critério para classificar o valor lógico de uma proposição bicondicional.

Answer 8

O bicondicional ↔ é verdadeiro somente quando p e q são ambas verdadeiras ou ambas falsas;

Tabela verdade do bicondicional

P ~Q P ↔ Q
V V V
V F F
F V F
F F V

Question 9

Quais são as 8 perguntas de condicionais em noções de lógica?

Answer 9

1. Ainda a partir de proposições dadas podemos construir novas proposições mediante o emprego de outros dois símbolos lógicos chamados
2. Colocando o condicional → entre duas proposições p e q, obtemos uma nova
   proposição, p → q, que se lê:
3. No condicional p → q, as proposições p e q são chamadas, respectivamente, de
4. Dadas as proposições
   p: dois é divisor de quatro (2 | 4)
   q: quatro é divisor de vinte (4 | 20)
5. postular o critério de classificação para o bicondicional
6. Colocando o condicional ↔ entre duas proposições p e q, obtemos
7. Dadas as proposições
   Como fica p↔q?
8. postular o critério de classificação para o bicondicional.