Ensino Médio ⇒ Lógica proposicional

[emanuel9393MOD]

Olá, pessoal


Considere uma proposição [tex3]p[/tex3] com valor lógico falso e uma proposição [tex3]q[/tex3] com valor lógico verdadeiro. Por que [tex3]p \rightarrow q[/tex3] é verdadeira?

[victoria]

Olá emanuel9393

veja:

O condicional [tex3]p \rightarrow q[/tex3] é falso somente quando [tex3]p[/tex3] é verdadeira e [tex3]q[/tex3] é falsa, caso contrário, [tex3]p\rightarrow q[/tex3] é verdadeiro.


Abraço.

[emanuel9393MOD]

Olá, Vitória




Eu conheço esse postulado. O que eu acho estranho é o fato de uma proposição falsa implicar uma verdadeira. Eu estou começando a pensar da seguinte maneira: [tex3]p \rightarrow q[/tex3] é verdadeira, nesse caso, porque seu valor lógico depende unicamente da proposição [tex3]q[/tex3]. Como [tex3]p[/tex3] é falso, significa que essa não é a condição suficiente de [tex3]q[/tex3] e não afeta o valor da proposição [tex3]p \rightarrow q[/tex3]. É isso?