NOES DE LGICA Proposio

Denomina-se proposio a toda sentena, expressa em pa a!ras o" s#m$o os, %"e exprima "m &"#'o ao %"a se possa atri$"ir, dentro de (erto (ontexto, somente "m de dois !a ores )*i(os poss#!eis+ !erdadeiro o" ,a soSomente .s sentenas de( arati!as pode-se atri$"ir !a ores de !erdadeiro o" ,a so, o %"e o(orre %"ando a sentena /, respe(ti!amente, (on,irmada o" ne*ada- De ,ato, no se pode atri$"ir "m !a or de !erdadeiro o" ,a so .s demais ,ormas de sentenas (omo as interro*ati!as, as ex( amati!as e o"tras, em$ora e as tam$/m expressem &"#'osSo exemplos de proposies as seguintes sentenas declarativas:

O n0mero 1 / parO n0mero 23 no / primo4odos os 5omens so mortaisNen5"m por(o espin5o sa$e erA *"ns (an6rios no sa$em (antarSe !o(7 est"dar $astante, ento aprender6 t"doE" ,a o in* 7s e espan5o 8#riam %"er "m sapatin5o no!o o" "ma $one(aNo so proposies:

9"a / o se" nome: Preste ateno ao sina Caram$a; Proposio Simp es <ma proposio / dita proposio simp es o" proposio at=mi(a %"ando no (ont/m %"a %"er o"tra proposio (omo s"a (omponente- Isso si*ni,i(a %"e no / poss#!e en(ontrar (omo parte de "ma proposio simp es a *"ma o"tra proposio di,erente de a- No se pode s"$di!idi- a em partes menores tais %"e a *"ma de as se&a "ma no!a proposioExemp o+ A sentena >C#ntia / irm de 8a"r#(io? / "ma proposio simp es, pois no / poss#!e identi,i(ar (omo parte de a %"a %"er o"tra proposio di,erente- Se tentarmos separ6- a em d"as o" mais partes menores nen5"ma de as ser6 "ma proposio no!aProposio Composta <ma proposio %"e (onten5a %"a %"er o"tra (omo s"a parte (omponente / dita proposio (omposta o" proposio mo e(" ar- Isso %"er di'er %"e "ma proposio / (omposta %"ando se pode extrair (omo parte de a, "ma no!a proposioCone(ti!os L)*i(os Existem a *"ns termos e express@es %"e esto ,re%"entemente presentes nas proposi@es (ompostas, tais (omo no, e, ou, se ... ento e se e somente se aos %"ais denominamos (one(ti!os )*i(os- Os (one(ti!os )*i(os a*em so$re as proposi@es a %"e esto i*ados de modo a (riar no!as proposi@es-

Exemp o+ A sentena >Se x no / maior %"e A, ento x / i*"a a A ou x / menor %"e A? / "ma proposio (omposta na %"a se pode o$ser!ar a *"ns (one(ti!os )*i(os B>no?, >se --ento? e >o"?C %"e esto a*indo so$re as proposi@es simp es >x / maior %"e A?, >x / i*"a a A? e >x / menor %"e A?<ma propriedade ,"ndamenta das proposi@es (ompostas %"e "sam (one(ti!os )*i(os / %"e o se" !a or )*i(o B!erdadeiro o" ,a soC ,i(a (omp etamente determinado pe o !a or )*i(o de (ada proposio (omponente e pe a ,orma (omo estas se&am i*adas pe os (one(ti!os )*i(os "ti i'ados, (on,orme est"daremos mais adianteAs proposi@es (ompostas podem re(e$er denomina@es espe(iais, (on,orme o (one(ti!o )*i(o "sado para i*ar as proposi@es (omponentesCon&"no+ A e B Denominamos (on&"no a proposio (omposta ,ormada por d"as proposi@es %"ais%"er %"e este&am i*adas pe o (one(ti!o >e?A (on&"no A e B pode ser representada sim$o i(amente (omo+

AB
Exemplo+ Dadas as proposi@es simp es+ A+ A $erto ,a a espan5o B+ A $erto / "ni!ersit6rioSe as proposi@es A e B ,orem representadas (omo (on&"ntos atra!/s de "m dia*rama, a (on&"no ?A B? (orresponder6 . interseo do (on&"nto A (om o (on&"nto B- A B-

<ma (on&"no / !erdadeira somente %"ando as d"as proposi@es %"e a (omp@em ,orem !erdadeiras, O" se&a, a (on&"no ?A B? / !erdadeira somente %"ando A / !erdadeira e B / !erdadeira tam$/m- Por isso di'emos %"e a (on&"no exi*e a sim" taneidade de (ondi@es-

Na ta$e a-!erdade, apresentada a se*"ir, podemos o$ser!ar os res" tados da (on&"no >A e B? para (ada "m dos !a ores %"e A e B podem ass"mir-

Disjuno: A ou B Denominamos dis&"no a proposio (omposta ,ormada por d"as proposi@es %"ais%"er %"e este&am i*adas pe o (one(ti!o >ou?A dis&"no A ou B pode ser representada sim$o i(amente (omo+ AB
Exemplo:

Dadas as proposi@es simp es+ A+ A $erto ,a a espan5o B+ A $erto / "ni!ersit6rioA dis&"no >A o" B? pode ser es(rita (omo+ A B+ A $erto ,a a espan5o o" / "ni!ersit6rioSe as proposi@es A e B ,orem representadas (omo (on&"ntos atra!/s de "m dia*rama, a dis&"no >A B? (orresponder6 . "nio do (on&"nto A (om o (on&"nto B-

<ma dis&"no / ,a sa somente %"ando as d"as proposi@es %"e a (omp@em ,orem ,a sas- O" se&a, a dis&"no >A o" B? / ,a sa somente %"ando A / ,a sa e B / ,a sa tam$/m- 8as se A ,or !erdadeira o" se B ,or !erdadeira o" mesmo se am$as, A e B, ,orem !erdadeiras, ento a dis&"no ser6 !erdadeira- Por isso di'emos %"e, ao (ontr6rio da (on&"no, a dis&"no no ne(essita da sim" taneidade de (ondi@es para ser !erdadeira, $astando %"e pe o menos "ma de s"as proposi@es (omponentes se&a !erdadeira-

Na ta$e a-!erdade, apresentada a se*"ir, podemos o$ser!ar os res" tados da dis&"no >A o" B? para (ada "m dos !a ores %"e A e B podem ass"mir-

Condicional: Se A ento B Denominamos (ondi(iona a proposio (omposta ,ormada por d"as proposi@es %"ais%"er %"e este&am i*adas pe o (one(ti!o >Se ... ento? o" por "ma de s"as ,ormas e%"i!a entesA proposio (ondi(iona >Se A, ento B? pode ser representada sim$o i(amente (omo+

Exemp o+ Dadas as proposi@es simp es+ A+ Dos/ / a a*oanoB+ Dos/ / $rasi eiroA (ondi(iona >Se A, ento B? pode ser es(rita (omo+ Se Dos/ / a a*oano, ento Dos/ / $rasi eiroNa proposio (ondi(iona >Se A, ento B? a proposio A, %"e / an"n(iada pe o "so da (on&"no >se?, / denominada (ondio o" ante(edente en%"anto a proposio B, apontada pe o ad!/r$io >ento? / denominada (on( "so o" (onse%"enteAs se*"intes express@es podem ser empre*adas (omo e%"i!a entes de >Se A, ento B?+

Se as proposi@es A e B ,orem representadas (omo (on&"ntos atra!/s de "m dia*rama, a dis&"no >A B? (orresponder6 . "nio do (on&"nto A (om o (on&"nto B-

<ma (ondi(iona >Se A ento B? / ,a sa somente %"ando a (ondio A / !erdadeira e a (on( "so B / ,a sa, sendo !erdadeira em todos os o"tros (asos- Isto si*ni,i(a %"e n"ma proposio (ondi(iona , a 0ni(a sit"ao %"e no pode o(orrer / "ma (ondio !erdadeira imp i(ar "ma (on( "so ,a saNa ta$e a-!erdade apresentada a se*"ir podemos o$ser!ar os res" tados da proposio (ondi(iona >Se A ento B? para (ada "m dos !a ores %"e A e B podem ass"mir-

Ei(ondi(iona + A se e somente se E Denominamos $i(ondi(iona a proposio (omposta ,ormada por d"as proposi@es %"ais%"er %"e este&am i*adas pe o (one(ti!o >se e somente se?A proposio $i(ondi(iona >A se e somente se E? pode ser representada sim$o i(amente (omo+