Em lógica, cada conectivo possui uma tabela-verdade que representa todas as suas possíveis validações. Assim podemos afirmar que o resultado da valida

Em lógica, cada conectivo possui uma tabela-verdade que representa todas as suas possíveis validações. Assim podemos afirmar que o resultado da validação do conectivo condicional é: Escolha uma: a. V, V, V, V. b. V, F, V, V. c. V, V, V, F. d. F, F, F, F. e. F, F, V, F.

Matemática

•

Colegio Fazer Crescer

José Santana

16/04/2019

Respostas

57 pessoas visualizaram e tiraram suas dúvidas aqui

Andre Smaira

30.09.2019

Vamos usar nossos conhecimentos em Lógica Elementar para solucionarmos o problema. A Lógica Elementar é ensinada na Filosofia e Matemática Básica, como ferramenta de análise de relações de funções e teoremas a partir de axiomas.

---

A tabela verdade consiste em listar todas possibilidades de ocorrências para dadas proposições e conectivos lógicos.

O conectivo condicional, simbolicamente representado por $a \to b$ (se $$a$$ então $$b$$ ), possui a seguinte tabela verdade entre duas proposições $$p$$ e $$q$$ :

| $$p$$ | $\to$ | $$q$$ |

| :--: | :---: | :--: |

| $$V$$ | $$V$$ | $$V$$ |

| $$F$$ | $$V$$ | $$V$$ |

| $$F$$ | $$V$$ | $$F$$ |

| $$V$$ | $$F$$ | $$F$$ |

Analisando a primeira linha da tabela, por exemplo, quer dizer que a relação $a\to b$ é válida quando ambas as proposições são verdadeiras $$V$$ .

----

Portanto, a validação do conectivo condicional é b. V, F, V, V.