Queproposio

19julho2010,PostadoporRafaelP.|

Um conceito fundamental para entender a lgica matemtica o significado de

umaproposio.Aprimeiracoisaqueoconcurseiroprecisasaberdistinguirse
umasentenaounoumaproposio.Issomesmo,sentenanoamesma
coisaqueproposio.Porqu?Vamosentenderisso.
Emlinhasgerais,defineseumaproposiocomaseguintefrase:

Uma proposio simples uma sentena

declarativa que pode somente ser julgada como
verdadeira (V) ou falsa (F), mas nunca como
verdadeiraefalsasimultaneamente.

Dois pontos devem ser destacados na frase acima. Antes mesmo de julgla
como verdadeira ou falsa, voc deve reconhecer que uma proposio tem
somente dois valores lgicos, V ou F, e nenhum outro valor. No h, por
exemplo,umterceirovalorlgico"meioverdadeiro,meiofalso".Enoprapor
aqui!Tambmnopermitidoqueumaproposiosejaconsideradaverdadeira
efalsaaomesmotempo.Umaproposioouverdadeiraoufalsa.
Agora,vejaaquestodabancaCespeabaixo.

SEBRAE2008UnB/CESPE
Comrelaolgicaformal,julgueoitemsubseqente.
Todaproposiolgicapodeassumirnomnimodoisvaloreslgicos.
Respostacomentada
Errado, pois toda proposio pode assumir somente dois valores
lgicos(VouF).

Osdoispontosdestacadosacimasoosdoisprincpiosouaxiomasdalgica
matemtica. Ser uma proposio uma sentena que respeite as "regras do
jogo",queso:
PrincpiodoTerceiroExcludo: uma proposio ou verdadeira ou falsa,
isto,hdeserumdessescasosenuncaumterceirocaso
Princpio da NoContradio: uma proposio no pode ser ao mesmo
tempoverdadeiraefalsa.
possvelsaberseumasentenaounoumaproposioconhecendoosdois
princpios acima, mesmo que voc no saiba responder se a proposio V ou
F.Porexemplo,asentenadeclarativaabaixoumaproposio?
Pelmarcoumilgolsem1969.

Sim, uma proposio. Se 1969 foi o ano em que Pel atingiu a marca de mil
gols, a frase acima V. E se foi em qualquer outro ano, a frase F. Como no
h outra maneira de julgar a frase acima, no h violao do Princpio do
TerceiroExcludo.Ecomotambmnopodeseraomesmotempoverdadeiroe
falsoque"Pelmarcoumilgolsem1969",oPrincpiodaNoContradiono
violado.
A partir da anlise feita acima, chegamos a concluso de que a sentena "Pel
marcoumilgolsem1969"defatoumaproposio.Jqueumaproposio,
verdadeira ou falsa essa proposio? Ora, o valor lgico de qualquer
proposio sempre pode ser verificado em arquivos, documentos, jornais,
revistas,vdeosetc.Aproposio"Pelmarcoumilgolsem1969"verdadeira,
conformemostra,porexemplo,anotciadoJB.

Quenoproposio
Equaissoassentenasquenosoproposies?Vamosconheclas.
Umasentenaabertanoconsideradaproposio,poisnopossveljulgla
comoverdadeiranemcomofalsa.Considereasentena:
Elemarcoumaisdemilgols.
impossvel dizer se essa sentena verdadeira ou falsa sem saber quem a
varivel "Ele''. Uma forma de se passar de uma sentena aberta a uma
proposiopelaquantificaodavarivel.Se"Ele=Pel'',entoaproposio
"Pel marcou mais de mil gols'' V, enquanto que se "Ele = Maradona'', a
mesmaproposioF.
Ecomopoderapareceremumaprova?Leiaotextoemdestaqueabaixo.

TJ/CE2008UnB/CESPE
Julgueoitemquesesegue.
A frase "No ano de 2007, o ndice de criminalidade da cidade caiu pela
metadeemrelaoaoanode2006"umasentenaaberta.
Respostacomentada
Certo. No se sabe em qual cidade ocorreu a queda nos ndices de
criminalidade. Note que esse item quer apenas saber se a frase uma
sentenaaberta.Se,porexemplo,cidade=RiodeJaneiro,afrasese
tornaria uma proposio, j que poderia ser verificado com dados
divulgados nos jornais, nas revistas ou pela secretaria de segurana
daqueleEstado,sedefatoocorreuaquedanosndicesdecriminalidade
entreosanosde2006e2007.

As sentenas interrogativas, imperativas e exclamativas no so proposies

porque no podem ser julgadas nem como verdadeiras nem como falsas.
Exemplos: (i) a frase interrogativa "Pel marcou mais de mil gols?'' no uma
proposio (ii) a frase exclamativa "Pel marcou mais de mil gols!'' tambm
no uma proposio (iii) a frase imperativa "Pel, marque mais de mil gols''
tambmnodeveserconsideradacomoumaproposio.
A partir do que foi discutido no pargrafo acima, fica fcil resolver a seguinte
questo:

TJ/CE2008UnB/CESPE
Julgueoitemquesesegue.
A frase "O triplo de quatro menor do que dez?" uma proposio
falsa.

Respostacomentada
A frase acima uma sentena interrogativa, e portanto, no uma
proposio. Uma proposio falsa seria a sentena declarativa "O
triplodequatromenordoquedez",umavezque34=12>10.

Uma sentena autoreferente aquela em que no possvel atribuir um

valor verdade porque essa se refere ao seu prprio valor verdade. Por esta
razo,umasentenaautoreferentenoumaproposio.
UmexemplodesentenaautoreferenteoparadoxodeLiar:
Estasentenafalsa.
Para essa sentena h duas opes: admitindo que a sentena seja verdadeira,
ento, chegase ao resultado de que a sentena falsa ( o que a sentena
declara!). Por outro lado, admitindo que a sentena seja falsa, ento, chegase
ao resultado de que a sentena verdadeira ( o contrrio do que declara a
sentena!).
Observe que uma sentena autoreferente viola o Princpio da NoContradio,
poisaestaatribudosimultaneamenteosvaloreslgicosVeF.
Vejaabaixo,emdestaque,umaquestodeprova.

EscriturrioBB2007UnB/CESPE
Na lista de frases apresentadas a seguir, h exatamente trs
proposies.
1."Afrasedentrodestasaspasumamentira."
2.AexpressoX+Ypositiva.
3.Ovalorde4+3=7.
4.Pelmarcoudezgolsparaaseleobrasileira.
5.Oqueisto?
Respostacomentada
Vamosclassificarcadaumadasfrasesdaquestoacima:
1.Afrase"Afrasedentrodestasaspasumamentira"umasentena
autoreferente.
2.A segunda frase, "A expresso X + Y positiva'', uma sentea
aberta,poisXeYsovariveis.
3.umaproposioafrase"Ovalorde4+3=7",porquanto4+
3=57.
4.A frase "Pel marcou dez gols para a seleo brasileira" tambm
uma proposio, dado que possvel saber o valor verdade desta
proposioemumabiografia,nainternetetc.

5.Altimafrase,"Oqueisto?",noumaproposioporqueuma
sentenainterrogativa.
Logo,hapenasduasproposies,eoitemesterrado.

Assistaovdeoabaixoparasabermaisumexemplodesentenaautoreferente.

Nofoipossvelcarregaroplugin.

OvdeocomeaeMollyaatrizmostraumcartocomaseguintefrase:
Asentenanooutroladodestecartoverdadeira.
Apsalgunssegundos,Mollyviraocarto,ondepossveller:
Asentenanooutroladodestecartofalsa.
Veja que a sentena no carto faz referncia ao valor lgico da sentena que
est no outro lado do carto, e vice versa. Se a primeira sentena V, o que
estescritonooutroladodocartoV.Porm,asegundasentenaafirmaque
aprimeirafalsa.HaquiumaviolaodoPrincpiodaNoContradio,pois
a primeira sentena seria, ao mesmo tempo, V e F. Logo, a primeira sentena
no uma proposio. De maneira anloga possvel chegar a concluso de
queasegundasentenatambmnoumaproposio.