Lgica Matemtica: proposio II

Valores lgicos de uma proposio Seguindo adiante no estudo da linguagem proposicional em matemtica, temos que ter em mente que s existem dois valores lgicos para uma proposio: A verdade e a falsidade.

Se a proposio for verdadeira seu valor lgico a verdade e se a proposio for falsa seu valor lgico ser a falsidade.

Perceba que em lgica matemtica no se diz que a proposio mentirosa. O correto e o mais elegante dizer que a proposio falsa. mais ou menos como nos debates polticos, onde nenhum dos debatedores dizem que o outro est mentindo, mas sim dizem que seu oponente falta com a verdade em seus argumentos. claro que nos debates os polticos fazem isso menos por elegncia e mais por medo de serem punidos por chamar o oponente de mentiroso...

Voltando ao que interessa, os smbolos utilizados para os valores lgicos da proposio so:

V se a proposio for verdadeira.

F se a proposio for falsa.

Relembrando os dois princpios bsicos que regem a lgica matemtica:

I No pode existir uma proposio falsa e verdadeira ao mesmo tempo (princpio da no contradio). II Toda proposio verdadeira ou falsa, no existindo um terceiro caso. (princpio do terceiro excludo).

Entendemos ento que uma proposio s pode ter um dos valores lgicos: V ou F.

Vejamos algumas proposies como exemplo:

1. 2. 3. 4.

A acelerao da gravidade na Terra 9,80665 m/s A Frana um pas europeu. O rio Nilo cruza o territrio Brasileiro O Corinthians o primeiro campeo mundial reconhecido pela FIFA

Nos exemplos acima, verificamos que as proposies 1,2 e 4 so verdadeiras (V) e apenas a proposio 3 falsa (F).

Se voc no gostou do exemplo dado, ns entendemos, afinal, esse valor para a acelerao da gravidade apenas aproximado...

Esse negcio de Falso e Verdadeiro pode parecer coisa boba, mas muito importante seguir num ritmo de passo-a-passo para que nada fique perdido no caminho. A experincia nos mostra que uma das grandes desgraas no ensino de matemtica so as pequenas coisas que passam batidas pelo estudante e que no final acabam impedindo que ele avance no aprendizado. Quem j estudou lgica de programao de computadores, sabe muito bem como importante saber operar com os valores lgicos de uma proposio. Ainda no estamos operando com esses valores lgico, por enquanto, apenas fixe a idia de que h apenas dois valores lgicos: Verdade (V) e Falsidade (F) e que em lgica matemtica mentirinha com fundo de verdade no tem vez!