conectivos lógicos
DESCRIPTION
ConctivosTRANSCRIPT
Conectivos LgicosOperaoConectivoEstrutura LgicaExemplos
Negao ou ~No pA bicicletano azul
Conjuno^P e qThiago mdico eJoo Engenheiro
Disjuno InclusivavP ou qThiago mdico ouJoo Engenheiro
Disjuno ExclusivavOu p ou qOuThiago MdicoouJoo Engenheiro
CondicionalSe p ento qSeThiago Mdicoento Joo Engenheiro
BicondicionalP se e somente se qThiago mdico se e somente seJoo Mdico
Conjuno:Vimos pela tabela acima que a operao da conjuno liga duas ou mais proposies simples pelo conectivo e. Observemos o exemplo:Irei ao cinemaeao clube. Vamos montar a tabela verdade para a proposio composta destacando todas as valoraes possveis.Conjuno: p^q(p e q)PQP ^ Q
VVV
VFF
FVF
FFF
P: Dar-te-ei uma camisa Q: Dar-te-ei um caloObservamos que a proposio resultante da disjuno inclusiva s serfalsaquando as proposies simples individuais forem falsas..Disjuno Exclusiva:Vimos que a estrutura da disjuno exclusiva ou p ,ou qEx:Ouirei jogar basqueteouirei casa de JooMontando a tabela verdade teremosDisjuno Exclusiva: pvq (ou p ou q)PQPvQ
VVF
VFV
FVV
FFF
P: Irei Jogar Basquete Q: Irei casa de JooObserve a diferena entre a disjuno inclusiva e exclusiva! Como o prprio nome diz exclusiva a proposio resultante da disjuno exclusiva s ser V se uma das partes for F e a outra V (independentemente da ordem) no podendo acontecer V nos dois casos, caso acontea a proposio resultante desta operao ser falsa.Condicional;Vimos que a estrutura condicional refere-se a Se p ento q.Ex:Senasci em Salvador ,entosou Baiano. P: Nasci em salvador Q: Sou BaianoNesta estrutura vale destacar os termossuficienteenecessrioObserve que:Se nasci em Salvadorsuficientementesou Baiano ,Agora, se sou Baianonecessariamentenasci em SalvadorRegra: O que esta a esquerda da seta sempre condio suficiente e o que est direita sempre condio necessria. ( p q).Tabela Verdade da estrutura condicional.Condicional: p q (Se... ento)PQP Q
VVV
VFF
FVV
FFV
Observe que a condicional s serfalsase a antecedente (lado esquerdo da seta) for verdadeiro e a consequente (lado direito) da seta for falso.Bicondicional: a estrutura formada por duas condicionais... p se e somente se q.Observe que;Ex:4 maior que2 se e somente se 2 for menor que 4 . P: 4 maior que 2 Q: 2 menor que 4Temos que a Bicondicional equivalente : P Q (Se4 maior que 2,ento2 menor que 4) Q P(Se2 menor que 4,ento4 maior que 2)A Bicondicional expressa uma condio suficiente e necessria.4 ser maior que 2 condio suficiente e necessria para 2 ser menor do que 4.Tabela VerdadeBicondicional: p q ( p se e somente se q)PQPQ
VVV
VFF
FVF
FFV
A proposio resultante da bicondicional s ser falsa se as proposies individuais possurem valorao diferente.Negao: pP: O Brasil um Pas pertencente a Amrica do Sul.P: O Brasilno um Pas pertencente a Amrica do SulQ: X ParQ: Xno parAs tabelas verdades so apenas um meio de saber a valorao das proposies consideradas, no h a necessidade de serem decoradas, uma vez que so fceis de serem entendidas. Porm existem pessoas que acham mais fcil decor-las, enfim vai do pensamento de cada um.Vejamos um exemplo da Conjuno EAnalisemos a sentena como uma promessaIrei a ArgentinaEirei ao Chile O que se espera dessa proposio (promessa)?Que o indivduo v para a argentina e tambm para o Chile ( V e V=V) Promessa VlidaAgora; Suponhamos que ele s v a Argentina e no v ai Chile ( V e F =F) Promessa Furada Suponhamos que ele no v a Argentina e somente vai ao Chile ( F e V =F) Promessa descumprida,Furada Suponhamos que ela no v a Argentina nem ao Chile (F e F =F) Promessa Furada Vemos o que torna a proposio verdadeira no caso da conjuno que ambas as partes sejam V.