Modificao dos nossos Termos de Uso: Por favor, comente sobre uma proposta de alterao relativa a edies pagas

no reveladas. <http://meta.wikimedia.org/wiki/Terms_of_use/Paid_contributions_amendment> [ Ajuda-nos com as tradues! ] <http://meta.wikimedia.org/w/index.php?title=Special:Translate&group=Centralnoti ce-tgroup-ChangeToU2014_v1&filter=> fechar <#> Lgica proposicional Origem: Wikipdia, a enciclopdia livre. Ir para: navegao <#mw-navigation>, pesquisa <#p-search> Ambox rewrite.svg <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Reciclagem> *Esta pgina precisa ser reciclada <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Reciclagem> de acordo com o livro de estilo <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Livro_de_estilo>* (desde fevereiro de 2010). Sinta-se livre para edit-la para que esta possa atingir um nvel de qualidade superior <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Livro_de_estilo/Como_escrever_um_bo m_artigo>. Em lgica e matemtica, uma *lgica proposicional* (ou clculo sentencial) um sistema formal <http://pt.wikipedia.org/wiki/Sistema_formal> no qual as frmulas representam /proposies <http://pt.wikipedia.org/wiki/Proposi%C3%A7%C3%A3o>/ que podem ser formadas pela combinao de proposies atmicas usando /conectivos lgicos/ e um sistema de /regras de derivao/, que permite que certas frmulas sejam estabelecidas como "teoremas <http://pt.wikipedia.org/wiki/Teorema>" do sistema formal. Em termos gerais, um clculo frequentemente apresentado como um sistema formal que consiste em um conjunto de expresses sintticas (frmulas bem formadas, ou fbfs <http://pt.wikipedia.org/wiki/FBF>), um subconjunto distinto dessas expresses, e um conjunto de regras formais que define uma relao binria especfica, que se pretende interpretar como a noo de equivalncia lgica, no espao das expresses. Quando o sistema formal tem o propsito de ser um sistema lgico, as expresses devem ser interpretadas como asseres matemticas, e as regras, conhecidas como /regras de inferncia/, normalmente so preservadoras da verdade. Nessa configurao, as regras (que podem incluir axiomas) podem ento ser usadas para derivar "inferir" frmulas representando asseres verdadeiras. O conjunto de axiomas pode ser vazio, um conjunto finito no vazio, um conjunto finito enumervel, ou pode ser dado por axiomas esquemticos. Uma gramtica formal define recursivamente as expresses e frmulas bem formadas (fbfs <http://pt.wikipedia.org/wiki/FBF>) da linguagem. Alm disso, pode se apresentar uma semntica para definir verdade e valoraes (ou interpretaes <http://pt.wikipedia.org/wiki/Estrutura_%28l%C3%B3gica%29>). A linguagem de um clculo proposicional consiste em:

1. um conjunto de smbolos primitivos, definidos como /frmulas atmicas <http://pt.wikipedia.org/wiki/F%C3%B3rmula_at%C3%B4mica>/, proposies atmicas, ou variveis, e 2. um conjunto de operadores, interpretados como /operadores lgicos/ ou /conectivos lgicos/. Uma frmula bem formada (fbf <http://pt.wikipedia.org/wiki/FBF>) qualquer frmula atmica ou qualquer frmula que pode ser construda a partir de frmulas atmicas, usando conectivos de acordo com as regras da gramtica. O que segue define um clculo proposicional padro. Existem muitas formulaes diferentes as quais so todas mais ou menos equivalentes mas que diferem nos detalhes: 1. de sua linguagem, que a coleo particular de smbolos primitivos e operadores, 2. do conjunto de axiomas, ou frmulas distinguidas, e 3. do conjunto de regras de inferncia. ndice [esconder <#>] * 1 Abstrao e aplicaes <#Abstra.C3.A7.C3.A3o_e_aplica.C3.A7.C3.B5es> * 2 Descrio genrica de um clculo proposicional <#Descri.C3.A7.C3.A3o_gen.C3.A9rica_de_um_c.C3.A1lculo_proposicional> o 2.1 Descrio <#Descri.C3.A7.C3.A3o> o 2.2 Tabelas Verdade <#Tabelas_Verdade> + 2.2.1 Negao <#Nega.C3.A7.C3.A3o> + 2.2.2 Conjuno <#Conjun.C3.A7.C3.A3o> + 2.2.3 Disjuno <#Disjun.C3.A7.C3.A3o> + 2.2.4 Implicao ou Condicional <#Implica.C3.A7.C3.A3o_ou_Condicional> + 2.2.5 Bi-implicao ou Equivalncia <#Bi-implica.C3.A7.C3.A3o_ou_Equival.C3.AAncia> * 3 Exemplo 1. Sistema axiomtico simples <#Exemplo_1._Sistema_axiom.C3.A1tico_simples> * 4 Exemplo 2. Sistema de Deduo Natural <#Exemplo_2._Sistema_de_Dedu.C3.A7.C3.A3o_Natural> o 4.1 Regra de Demonstrao Condicional (RDC) <#Regra_de_Demonstra.C3.A7.C3.A3o_Condicional_.28RDC.29> * 5 Correo e completude das regras <#Corre.C3.A7.C3.A3o_e_completude_das_regras> * 6 Um clculo alternativo <#Um_c.C3.A1lculo_alternativo> o 6.1 Axiomas <#Axiomas> o 6.2 Regra de inferncia <#Regra_de_infer.C3.AAncia> o 6.3 Meta-regra de inferncia <#Meta-regra_de_infer.C3.AAncia> o 6.4 Exemplo de uma prova <#Exemplo_de_uma_prova> * 7 Outros clculos lgicos <#Outros_c.C3.A1lculos_l.C3.B3gicos> * 8 Referncias gerais <#Refer.C3.AAncias_gerais> * 9 Ver tambm <#Ver_tamb.C3.A9m> o 9.1 Nveis lgicos <#N.C3.ADveis_l.C3.B3gicos> o 9.2 Blocos bsicos <#Blocos_b.C3.A1sicos> o 9.3 Tpicos relacionados <#T.C3.B3picos_relacionados> Abstrao e aplicaes

Embora seja possvel construir um clculo abstrato formal que no tem uso prtico imediato e praticamente nenhuma aplicao bvia, o nome /clculo <http://pt.wikipedia.org/wiki/C%C3%A1lculo>/ indica que esta espcie de sistema formal tem sua origem na utilidade de seus membros protpicos no clculo prtico. Em geral, qualquer clculo matemtico criado com a inteno de representar um certo domnio de objetos formais, e tipicamente com o objetivo de facilitar as computaes e inferncias que precisam ser realizadas sobre esta representao. Assim, antes de se desenvolver o prprio clculo, deve-se dar uma idia da sua denotao pretendida, isto , dos objetivos formais que se pretende denotar com as frmulas do clculo. Visto ao longo de seu desenvolvimento histrico, um clculo formal para qualquer tpico de estudo normalmente surge atravs de um processo de abstrao gradual, refinamento passo-a-passo, e sntese por tentativa e erro a partir de um conjunto de sistemas notacionais informais prvios, cada um dos quais tratando do mesmo domnio de objetos apenas em parte ou de um ngulo em particular. Descrio genrica de um clculo proposicional A lgica proposicional tem como objetivo modelar o raciocnio humano, partindo de frases declarativas (proposies). Para entender melhor o que uma proposio considere a frase 1 mais 1 igual a 10 ou simbolicamente, 1 + 1 = 10. Esta frase uma proposio no sentido de que ela uma assero declarativa, ou seja, afirma ou nega um fato, e tem um /valor de verdade <http://pt.wikipedia.org/wiki/Valor_de_verdade>/, que pode ser verdadeiro ou falso. Neste caso, num sistema de numerao de base 2, a proposio anterior seria verdadeira, enquanto que no sistema decimal seria falsa. Um outro exemplo a afirmao hoje um dia quente cujo valor de verdade vai depender de vrios fatores: o local sobre o qual implicitamente se est falando, os instrumentos de medidas e de comparao (quais os dados estatsticos de temperatura dessa regio), e principalmente de quem est avaliando (duas pessoas, mesmo considerando as mesmas condies nos itens anteriores, podem avaliar diferentemente). Ou seja, o valor verdade de uma proposio no um conceito absoluto, mas depende de um contexto interpretativo. H inclusive proposies, que mesmo num contexto interpretativo claro e no ambguo, para as quais no possvel estabelecer de forma inquestionvel sua veracidade ou falsidade (pelo menos com o conhecimento atual da humanidade). Mas, em lgica, o importante no o valor de verdade que uma proposio possa tomar num determinado contexto interpretativo, mas a possibilidade de que em princpio seja possvel atribuir um valor de verdade, e que seja possvel raciocinar com estas proposies. A lgica proposicional estuda *como* raciocinar com afirmaes que podem ser verdadeiras ou falsas, ou ainda *como* construir a partir de um certo conjunto de hipteses (proposies verdadeiras num determinado contexto) uma demonstrao de que uma determinada concluso verdadeira no mesmo contexto. Assim, so fundamentais as noes de proposio, verdade, deduo e demonstrao. A lgica proposicional clssica um dos exemplos mais simples de lgica formal. Esta lgica leva em conta, somente, os valores de verdade verdadeiro e falso e a forma das proposies. O estudo detalhado dessa lgica importante porque ela contm quase todos os conceitos importantes necessrios para o estudo de lgicas mais complexas.

Descrio *Um clculo proposicional* um sistema formal {\mathcal {L}}=(\mathrm{A} ,\ \Omega ,\ \mathrm{Z} ,\ \mathrm{I} ) cujas frmulas so construdas da seguinte maneira: * O /conjunto alfa/ \mathrm{A} \! um conjunto finito de elementos chamados /smbolos de proposio/, ou /variveis proposicionais/ ou simplesmente /tomos/. Sintaticamente falando, estes so os elementos mais bsicos da linguagem formal {\mathcal {L}}, tambm referidos como /frmulas atmicas/ ou /elementos terminais/. Nos exemplos a seguir, os elementos de \mathrm{A} \! so tipicamente as letras {\mathcal {P}},\ {\mathcal {Q}},\ {\mathcal {R}}, em diante. * O /conjunto omega/ \Omega \! um conjunto finito de elementos chamados /smbolos de operadores/ ou /conectivos lgicos/. O conjunto \Omega \! dividido entre os seguintes conjuntos distintos: \Omega =\Omega _{0}\cup \Omega _{1}\cup \ldots \cup \Omega _{j}\cup \ldots \cup \Omega _{m}\,. Nesta diviso, \Omega _{j}\! o conjunto dos smbolos de /aridade <http://pt.wikipedia.org/wiki/Aridade>/ j\!. Nos clculos proposicionais mais familiares, \Omega \! tipicamente particionado em termos de: \Omega _{1}=\{\lnot \}\,, \Omega _{2}\subseteq \{\land ,\lor ,\rightarrow ,\leftrightarrow \}\,. Uma opo frequentemente adotada tratar os valores lgicos constantes como operadores de /aridade <http://pt.wikipedia.org/wiki/Aridade>/ zero. Assim: \Omega _{0}=\{\bot ,\top \}\,. Alguns autores usam o til (~) ao invs de (); e alguns usam o (&) ou (\cdot ) ao invs de (). A notao varia ainda mais para o conjunto de valores lgicos, com smbolos como {falso, verdadeiro}, {F, V}, ou {0, 1} todos sendo usados em vrios contextos ao invs de {\bot , \top }. * Dependendo da gramtica formal especfica que se est usando, auxiliares sintticos tais como o parntese esquerdo, (, e o parntese direito, ), podem ser necessrios para completar a construo das frmulas. A /linguagem/ de {\mathcal {L}}, tambm conhecida como o seu conjunto de /frmulas/, /frmulas bem formadas/ ou /fbfs <http://pt.wikipedia.org/wiki/FBF>/, definida recursiva ou indutivamente pelas seguintes regras: 1. Base. Qualquer elemento do conjunto alpha \mathrm{A} \! frmula de {\mathcal {L}}. 2. Passo (a). Se {\mathcal {P}} uma frmula, ento {\mathcal {P}}, uma frmula. 3. Passo (b). Se {\mathcal {P}} e {\mathcal {Q}} so frmulas, ento (/{\mathcal {P}}/ /{\mathcal {Q}}/), (/{\mathcal {P}}/

/{\mathcal {Q}}/), (/{\mathcal {P}}/ /{\mathcal {Q}}/), e (/{\mathcal {P}}/ /{\mathcal {Q}}/) so frmulas. 4. Fechado. Nada mais uma frmula de {\mathcal {L}}. Aplicaes relacionadas dessas regras permitem a construo de frmulas complexas. Por exemplo: 1. 2. 3. 4. Pela Pela Pela Pela regra regra regra regra 1, 2, 1, 3, /{\mathcal {P}}/ uma frmula. /{\mathcal {P}}/ uma frmula. /{\mathcal {Q}}/ uma frmula. (/{\mathcal {P}}/ /{\mathcal {Q}}/) uma frmula.

* O /conjunto zeta/ \mathrm{Z} \! um conjunto finito de /regras de transformao/ que so conhecidas como /regras de inferncia/ do ponto de vista das aplicaes lgicas. * O /conjunto iota/ \mathrm{I} \! um conjunto finito de /pontos iniciais/ que so chamados de /axiomas/ quando eles recebem interpretaes lgicas. Tabelas Verdade Seja {\mathcal {L}} uma linguagem que contenha as proposies P\,\!, Q\,\! e R\,\!. O que podemos dizer sobre a proposio P\,\! ? Para comear, segundo o princpio de bivalncia, ela ou verdadeira ou falsa. Isto representamos assim: *P* V F Agora, o que podemos dizer sobre as proposies P\,\! e Q\,\! ? Oras, ou ambas so verdadeiras, ou a primeira verdadeira e a segunda falsa, ou a primeira falsa e a segunda verdadeira, ou ambas so falsas. Isto representamos assim: *P* V V F F *Q* V F V F

Como voc j deve ter reparado, uma tabela para P\,\!, Q\,\! e R\,\! assim: *P* V V V V F F F F *Q* V V F F V V F F *R* V F V F V F V F

Cada linha da tabela (fora a primeira que contm as frmulas) representa uma *valorao <http://pt.wikipedia.org/w/index.php?title=Valora%C3%A7%C3%A3o&action=edit&redli

nk=1>*. Agora, o que dizer sobre frmulas moleculares, tais como \neg P\,\!, Q\lor R\,\! ou \left(Q\land R\right)\to \left(P\leftrightarrow Q\right) ? Para estas, podemos estabelecer os valores que elas recebem em vista do valor de cada frmula atmica que as compe. Faremos isto por meio das *tabelas de verdade <http://pt.wikipedia.org/wiki/Tabela_verdade>*. Os primeiros passos para construir uma tabela de verdade consistem em: 1) Uma linha em que esto contidas todas as sub-frmulas de uma frmula e a prpria frmula. Por exemplo, a frmula \neg \left(\left(P\land Q\right)\to R\right) tem o seguinte conjunto de sub-frmulas: {\left(P\land Q\right)\to R , P\land Q , P\!\, , Q\!\, , R\!\,} 2) l\!\, linhas em que esto todos os possveis valores que as proposies atmicas podem receber e os valores recebidos pelas frmulas moleculares a partir dos valores destes tomos. O nmero de linhas l=n^{t}\!\, , sendo n\!\, o nmero de valores que o sistema permite (sempre 2 no caso do CPC) e t\!\, o nmero de tomos que a frmula contm. Assim, se uma frmula contm 2 tomos, o nmero de linhas que expressam a permutaes entre estes ser 4: um caso de ambos serem verdadeiros (V V), dois casos de apenas um dos tomos ser verdadeiro (V F , F V) e um caso no qual ambos serem falsos (F F). Se a frmula contiver 3 tomos, o nmero de linhas que expressam a permutaes entre estes ser 8: um caso de todos os tomos serem verdadeiros (V V V), trs casos de apenas dois tomos serem verdadeiros (V V F , V F V , F V V), trs casos de apenas um dos tomos ser verdadeiro (V F F , F V F , F F V) e um caso no qual todos tomos so falsos (F F F). Ento, para a frmula \neg \left(\left(P\land Q\right)\to R\right), temos: *P* V V V V F F F F *Q* V V F F V V F F *R* V F V F V F V F *PQ* *(PQ) R* *((PQ) R)*

Para completar esta tabela precisamos definir os operadores lgicos. Ao faz-lo, vamos aproveitar para explicar como interpret-los. Negao A negao tem o valor inverso da frmula negada. A saber: *P* V F * P* F V

* *Interpretaes*: "No P\!\,", "No o caso de P\!\,", "A proposio 'P\!\,' falsa".

Assim, em uma linguagem {\mathcal {L}}\!\, na qual P\!\, significa "/Scrates mortal/", \neg P\!\, pode ser interpretada como "/Scrates no mortal/", e, se o primeiro verdadeiro, o segundo falso; e se o primeiro falso, o segundo verdadeiro. Interpretar a negao por meio de antnimos tambm uma alternativa, mas deve-se ter cautela, pois nem sempre aplicvel em todos os casos. No exemplo acima a interpretao por meio de antnimos perfeitamente aplicvel, ou seja, se P\!\, significa "/Scrates mortal/", \neg P\!\, pode ser interpretada como "/Scrates imortal/". Por outro lado, em uma linguagem {\mathcal {L}}\!\, na qual Q\!\, significa "/Joo bom jogador/", a proposio "/Joo mau jogador/" no a melhor interpretao para \neg Q\!\, (Joo poderia ser apenas um jogador mediano). Pode-se adicionar indefinidamente o operador de negao: *P* V F * P* F V * P* * P* V F F V

\neg \neg P\,\! significa `\neg P\,\!' falsa. \neg \neg \neg P\,\! significa `\neg \neg P\,\!' falsa. E assim por diante. Repare que \neg \neg P\,\! equivalente a P\,\!, assim como \neg \neg \neg P\,\! equivalente a \neg P\,\!. A negao mltipla traz alguns problemas de interpretao. Interpretando mais uma vez P\,\! por "/Scrates mortal/", podemos perfeitamente interpretar \neg \neg P\,\! de diversar formas: "/No o caso de que Scrates no mortal/", "/No o caso de que Scrates imortal/", "/ falso que Scrates no mortal/", "/ falso que Scrates imortal/" etc. Contudo, nem sempre na lngua portuguesa a dupla negao de uma proposio equivale afirmao desta. Muitas vezes a dupla negao apenas uma nfase na negao. Exemplos: "/No veio ningum/", "No fiz nada hoje" etc. Conjuno A conjuno entre duas frmulas s verdadeira quando ambas so verdadeiras. A saber: *P* V V F F *Q* V F V F *PQ* V F F F

* *Interpretao*: "P\land Q\!\," pode ser interpretada como "P\!\, e Q\!\,", "Tanto P\!\, quanto Q\!\,", "Ambas proposies 'P\!\,' e 'Q\!\,' so verdadeiras" etc. Assim, em uma linguagem {\mathcal {L}}\!\, na qual P\!\, significa "/Sou cidado brasileiro/" e Q\!\, significa "/Sou estudante de filosofia/", P\land Q\!\, pode ser interpretada como "/Sou cidado brasileiro e estudante de filosofia/"; o que s verdade se P\!\, verdadeira e Q\!\, verdadeira.

Repare que a conjuno comutvel, ou seja, P\land Q\,\! equivalente a Q\land P\,\!, a saber: *P* V V F F *Q* V F V F *PQ* V F F F *QP* V F F F

A comutatividade da conjuno traz um problema para formalizar proposies da linguagem natural no Clculo Proposicional Clssico, pois a ordem em que as oraes aparecem pode sugerir uma sequncia temporal. Por exemplo "/Isabela se casou e teve um filho/" bem diferente de "/Isabela teve um filho e se casou/". Repare que o mesmo problema no acomete a proposio "/Isabela casada e tem filhos/", que equivalente a "/Isabela tem filhos e casada/". Esta sentena , portanto, perfeitamente formalizvel no Clculo Proposicional Clssico por meio de uma conjuno. Proposies que levam a palavra "/mas/" tambm podem ser formalizadas pela conjuno. Por exemplo, em uma linguagem {\mathcal {L}}\!\, na qual R\!\, significa "/Joo foi atropelado/" e D\!\, significa "/Joo sobreviveu ao atropelamento/", as sentenas "/Joo foi atropelado e sobreviveu/" e "/Joo foi atropelado, mas sobreviveu/" podem ambas ser formalizadas assim: R\land D\,\! Afinal, ambas as proposies sequncia: o atropelamento e entre ambas que aquela que subjetiva no foi satisfeita Disjuno A disjuno entre duas frmulas s verdadeira quando ao menos uma delas verdadeira. A saber: *P* V V F F *Q* V F V F *PQ* V V V F afirmam os mesmos eventos na mesma a sobrevivncia de Joo. A nica diferena leva "mas" expressa que uma expectativa o que no importa para a lgica clssica.

Repare que a disjuno tambm comutativa: *P* V V F F *Q* V F V F *PQ* V V V F *QP* V V V F

* *Interpretao*: "P\lor Q\!\," pode ser interpretada como "P\!\, ou Q\!\,", "Entre as proposies P\!\, e Q\!\,, ao menos uma verdadeira". Assim, se P\!\, "/Fulano estuda "/Fulano estuda nem Q\!\, forem significa "/Fulano estuda filosofia/" e Q\!\, significa matemtica/", P\lor Q\!\, pode ser interpretada como filosofia ou matemtica/"; o que s falso se nem P\!\, verdadeiras.

Com a disjuno preciso tomar muito cuidado tanto na interpretao de frmulas quanto na formalizao de proposies, pois na linguagem natural muitas vezes os disjuntos so excludentes. Por exemplo: "/Uma moeda ao ser lanada resulta em cara *ou* coroa/", "/Nestas frias eu vou viajar *ou* ficar em casa/". Para estes casos usamos a *disjuno exclusiva* ou a *bi-implicao* combinada com a *negao*, como veremos mais adiante. Implicao ou Condicional A implicao, ou condicional (SE-ENTO), entre duas frmulas s falsa se a da esquerda (antecedente) for verdadeira e da direita (consequente) for falsa. A saber: *P* V V F F *Q* V F V F *PQ* V F V V

Repare que a implicao *no* comutativa: *P* V V F F *Q* V F V F *PQ* V F V V *QP* V V F V

* *Interpretao*: "P\to Q\!\," pode ser interpretada como "/Se P\!\,, ento Q\!\,/", "/P\!\, implica Q\!\,/", "/Se a proposio ' P\!\, ' verdade, ento a proposio ' Q\!\, ' tambm verdade/", "A partir de 'P\!\,' inferimos 'Q\!\,' /", "P\!\, satisfaz Q\!\,", "P\!\, condio suficiente de Q\!\,"./ Assim, se, em uma linguagem {\mathcal {L}} , P\!\, significa "/O boto vermelho foi apertado/" e Q\!\, significa "/O lugar inteiro explode/", P\to Q\!\, pode ser interpretada como "/Se o boto vermelho foi apertado, ento o lugar inteiro explode/", mas se o boto vermelho for apertado (verdade de P\!\,) e o lugar inteiro no explodir, este resultado falso (falsidade de Q\!\,): A interpretao da implicao uma das mais complicadas. Talvez voc tenha estranhado que a implicao seja verdadeira quando o antecedente falso. Ou ainda, voc poderia objetar "mas e se o boto for apertado, o lugar explodir, mas uma coisa no tiver nada a ver com a outra?". Basicamente, o que se deve observar que "/O boto vermelho ser apertado/" condio suficiente para se deduzir que "/O lugar inteiro explodiu/", isto , quando o boto apertado, o lugar deve explodir. Se o boto for apertado e o lugar no explodir, algo est errado, ou seja, P\!\, no implica Q\!\, ( P\to Q\!\, falso). Quando temos na linguagem natural uma proposio que afirma que a partir de um evento (P), o outro (Q) segue inexoravelmente e de fato isto acontece (por exemplo: "/Se voc sair na chuva sem guarda-chuva ou capa de chuva, ento voc vai se molhar/" ou "/Se todo nmero par divisvel por 2, ento nenhum nmero par maior que 2 primo/"), podemos seguramente formalizar estas proposies por meio da implicao.

No caso contrrio, o evento ou proposio anterior (P), de fato, no condio suficiente, ento interpretar em linguagem natural pode ser mais difcil, pois facilmente se confunde com a bi-implicao. Deve-se ter em mente que P deve ser condio suficiente para que se tenha Q, mas no se pode afirmar nada sobre P a partir de Q. Se P verdadeiro (V), ento Q tem de ser verdadeiro! Ora, se com P verdadeiro (V), Q no for verdadeiro (F), ento a implicao falsa (F)! Por outro lado, no caso de P ser falsa (F), ento no h a condio suficiente, mas podem existir outras "causas" para que Q seja verdadeira (V) ou falsa (F). Por isso, se P falsa (F), ento "tanto faz" se Q verdadeira ou falsa, que a condio de suficincia de P no invalidada. Fica mais fcil lembrar a regra assim: s falsa se P acontecer e Q no. Bi-implicao ou Equivalncia A bi-implicao, ou equivalncia (SE, SOMENTE SE), entre duas frmulas verdadeira quando ambas so verdadeiras ou ambas so falsas. *P* V V F F *Q* V F V F *PQ* V F F V

Repare que a bi-implicao comutativa: *P* V V F F *Q* V F V F *PQ* V F F V *QP* V F F V

* *Interpretao*: "P\leftrightarrow Q" pode ser interpretada como "/P\!\, se e somente se Q\!\,/", "/P\!\, equivalente a Q\!\,/", "/P\!\, e Q\!\, possuem o mesmo valor de verdade/". Assim, se P\!\, significa "/O nmero natural divisvel por cinco/" e Q\!\, significa "'O ltimo algarismo do nmero natural zero ou cinco/", P\leftrightarrow Q pode ser interpretada como "/O nmero natural divisvel por 5 se, e somente se, o seu ltimo algarismo zero ou cinco/". Basta que uma das proposies ou condies seja falsa para que o enunciado se torne falsa./ Na linguagem natural o problema est em confundir uma condio necessria como sendo a nica possibilidade para se chegar ao resultado verdadeiro. Por exemplo, algum pode estar chorando por tristeza, mas tambm porque est a descascar cebola. Para que haja a equivalncia o raciocnio deve ser verdadeiro nos dois sentidos. Exemplo 1. Sistema axiomtico simples Seja {\mathcal {L}}_{1}=(\mathrm{A} ,\ \Omega ,\ \mathrm{Z} ,\ \mathrm{I} ), onde \mathrm{A} ,\ \Omega ,\ \mathrm{Z} ,\ \mathrm{I} so definidos como: * O conjunto \mathrm{A} \! um conjunto finito de smbolos que

grande o suficiente para suprir as necessidades de uma dada discusso, por exemplo: \mathrm{A} =\{p,q,r,s,t,u\}\,. Entre os 3 conectivos para conjuno, disjuno e implicao (, , e ), um pode ser tomado como primitivo e os outros dois podem ser definidos em termos deste e da negao (). Certamente, todos os conectivos lgicos podem ser definidos em termos de um nico operador <http://pt.wikipedia.org/wiki/Completude_funcional>. O bicondicional () pode, claro, ser definido em termos de conjuno e implicao com a b sendo definido como (a b) (b a). Adotando negao e implicao como as duas operaes primitivas de um clculo proposicional equivalente a ter o conjunto omega \Omega =\Omega _{1}\cup \Omega _{2} particionado em: \Omega _{1}=\{\lnot \}\,. \Omega _{2}=\{\rightarrow \}\,. Um sistema axiomtico descoberto por Jan Tukasiewicz formula um /clculo proposicional/ na linguagem a seguir. Os axiomas em \mathrm{I} \! so todos instncias de substituio de: * p\to (q\to p) * (p\to (q\to r))\to ((p\to q)\to (p\to r)) * (\neg p\to \neg q)\to (q\to p) A regra de inferncia em \mathrm{Z} \! modus ponens <http://pt.wikipedia.org/wiki/Modus_ponens> (isto , de /p/ e (/p/ /q/), infere-se /q/). Ento /a/ /b/ definido como /a/ /b/, /a/ /b/ definido como (/a/ /b/). Exemplo 2. Sistema de Deduo Natural Seja {\mathcal {L}}_{2}={\mathcal {L}}\ (\mathrm{A} ,\ \Omega ,\ \mathrm{Z} ,\ \mathrm{I} ), onde \mathrm{A} ,\ \Omega ,\ \mathrm{Z} ,\ \mathrm{I} so definidos a seguir: * O conjunto \mathrm{A} \! um conjunto finito de smbolos suficiente para suprir a necessidade de uma dada discusso, por exemplo: \mathrm{A} =\{p,q,r,s,t,u\}\,. * O conjunto \Omega =\Omega _{1}\cup \Omega _{2} consiste em: \Omega _{1}=\{\lnot \} \Omega _{2}=\{\land ,\lor ,\rightarrow ,\leftrightarrow \}. No exemplo de clculo proposicional a seguir, as regras de transformao devem ser interpretadas como as regras de inferncia do chamado /sistema de deduo natural <http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural>/. O sistema particular apresentado aqui no possui pontos iniciais, o que significa que sua interpretao para aplicaes lgicas deriva seus teoremas

<http://pt.wikipedia.org/wiki/Teorema> a partir de um conjunto de axiomas vazio. * O conjunto de pontos iniciais vazio, ou seja, \mathrm{I} =\varnothing \,. * O conjunto de regras de transformao, \mathrm{Z} ,\!, descrito a seguir: Nosso clculo proposicional possui dez regras de inferncia. Essas regras nos permitem derivar outras frmulas verdadeiras a partir de um conjunto de frmulas assumidas como verdadeiras. As primeiras nove regras dizem simplesmente que podemos inferir certas fbfs de outras fbfs. A ltima regra, no entanto, usa o raciocnio hipottico no sentido de que, na premissa da regra, assumimos temporariamente uma hiptese (no demonstrada) como parte do conjunto de frmulas inferidas a fim de descobrir se podemos inferir uma certa outra frmula. Como as nove primeiras regras no fazem isso, so normalmente descritas como regras /no hipotticas/, e a ltima dita uma regra /hipottica/. Reduo ao absurdo <http://pt.wikipedia.org/wiki/Redu%C3%A7%C3%A3o_ao_absurdo> (introduo da negao) De (/p//q/), (/p/ /q/), infere-se /p/. Eliminao da dupla negao <http://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_da_dupla_nega%C3%A7%C3%A3o> De /p/, infere-se /p/. Introduo da conjuno <http://pt.wikipedia.org/wiki/Introdu%C3%A7%C3%A3o_da_conjun%C3%A7%C3%A3o> De /p/ e /q/, infere-se (/p/ /q/). Eliminao da conjuno <http://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_da_conjun%C3%A7%C3%A3o> De (/p/ /q/), infere-se /p/ De (/p/ /q/), infere-se /q/. Introduo da disjuno <http://pt.wikipedia.org/wiki/Introdu%C3%A7%C3%A3o_da_disjun%C3%A7%C3%A3o> De /p/, infere-se (/p/ /q/) De /p/, infere-se (/q/ /p/). Eliminao da disjuno <http://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_da_disjun%C3%A7%C3%A3o> De (/p/ /q/), (/p/ /r/), (/q/ /r/), infere-se /r/. Introduo do Bicondicional <http://pt.wikipedia.org/wiki/Introdu%C3%A7%C3%A3o_do_Bicondicional> De (/p/ /q/), (/q/ /p/), infere-se (/p/ /q/). Eliminao do Bicondicional <http://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_do_Bicondicional> De (/p/ /q/), infere-se (/p/ /q/); De (/p/ /q/), infere-se (/q/ /p/). Modus ponens <http://pt.wikipedia.org/wiki/Modus_ponens> (eliminao do condicional) De /p/, (/p/ /q/), infere-se /q/. Demonstrao Condicional <http://pt.wikipedia.org/w/index.php?title=Demonstra%C3%A7%C3%A3o_Condicional&ac tion=edit&redlink=1> (introduo do condicional) Se /p/ for aceito como prova de /q/, infere-se (/p/ /q/). Formas de Argumentos Bsicos e Derivados Nome Sequncia Descrio Modus Ponens ((/p/ /q/) /p/) /q/ consequentemente /q/

Se /p/ ento /q/; /p/;

Modus Tollens ((/p/ /q/) /q/) p Se /p/ ento /q/; no /q/; consequentemente no /p/ Silogismo Hipottico ((/p/ /q/) (/q/ /r/)) (/p/ /r/) Se /p/ ento /q/; se /q/ ento /r/; consequentemente, se /p/ ento /r/ Silogismo Disjuntivo ((/p/ /q/) /p/) /q/ /p/ ou /q/; no /p/; consequentemente, /q/ Dilema Construtivo ((/p/ /q/) (/r/ /s/) (/p/ /r/)) (/q/ /s/) Se /p/ ento /q/; e se /r/ ento /s/; mas /p/ ou /r/; consequentemente /q/ ou /s/ Dilema Destrutivo ((/p/ /q/) (/r/ /s/) (/q/ /s/)) (/p/ /r/) Se /p/ ento /q/; e se /r/ ento /s/; mas no /q/ ou no /s/; consequentemente no /p/ ou no /r/ Simplificao (/p/ /q/) /p/ /p/ e /q/ so verdadeiros; consequentemente /p/ verdadeiro. Conjuno /p/, /q/ (/p/ /q/) /p/ e /q/ so verdadeiros separadamente; consequentemente eles so verdadeiros conjuntamente Adio /p/ (/p/ /q/) /p/ verdadeiro; consequentemente a disjuno (/p/ or /q/) verdadeira Composio ((/p/ /q/) (/p/ /r/)) (/p/ (/q/ /r/)) Se /p/ ento /q/; e se /p/ ento /r/; consequentemente se /p/ verdadeiro ento /q/ e /r/ so verdadeiros Teorema de De Morgan (1) (/p/ /q/) (/p/ /q/) A negao de (/p/ e /q/) tem como consequncia (no /p/ ou no /q/) Teorema de De Morgan (2) (/p/ /q/) (/p/ /q/) A negao de (/p/ ou /q/) tem como consequncia (no /p/ e no /q/) Commutao (1) (/p/ /q/) (/q/ /p/) (/p/ ou /q/) tem como consequncia (/q/ ou /p/) Commutao (2) (/p/ /q/) (/q/ /p/) (/p/ e /q/) tem como consequncia (/q/ e /p/) Associatividade (1) (/p/ (/q/ /r/)) ((/p/ /q/) /r/) /p/ ou (/q/ ou /r/) tem como consequncia (/p/ ou /q/) ou /r/ Associatividade (2) (/p/ (/q/ /r/)) ((/p/ /q/) /r/) /p/ e (/q/ e /r/) tem como consequncia (/p/ e /q/) e /r/ Distributividade (1) (/p/ (/q/ /r/)) ((/p/ /q/) (/p/ /r/)) /p/ e (/q/ ou /r/) tem como consequncia (/p/ e /q/) ou (/p/ e /r/) Distributividade (2) (/p/ (/q/ /r/)) ((/p/ /q/) (/p/ /r/)) /p/ ou (/q/ e /r/) tem como consequncia (/p/ ou /q/) e (/p/ ou /r/) Dupla Negao /p/ /p/ /p/ tem como consequncia a negao de no /p/ Transposio (/p/ /q/) (/q/ /p/) Se /p/ ento /q/ tem como consequncia se no /q/ ento no /p/ Implicao Material (/p/ /q/) (/p/ /q/) Se /p/ ento /q/ tem como consequncia no /p/ ou /q/ Equivalncia Material (1) (/p/ /q/) ((/p/ /q/) (/q/ /p/)) (/p/ equivalente a /q/) significa que, (se /p/ verdadeiro ento /q/ verdadeiro) e (se /q/ verdadeiro ento /p/ verdadeiro) Equivalncia Material (2) (/p/ /q/) ((/p/ /q/) (/q/ /p/)) (/p/ equivalente a /q/) significa que, (/p/ e /q/ so verdadeiros) ou (ambos /p/ e /q/ so falsos) Equivalncia Material (3) (/p/ /q/) ((/p/ /q/) (/q/ /p/)) (/p/ equivalente a /q/) significa que ambos (/p/ ou no /q/ verdadeiro) e (no /p/ ou /q/ verdadeiro) Exportao ((/p/ /q/) /r/) (/p/ (/q/ /r/)) De (se /p/ e /q/ so verdadeiros ento /r/ verdadeiro) podemos demonstrar (se /q/ verdadeiro ento /r/ verdadeiro, se /p/ verdadeiro) Importao (/p/ (/q/ /r/)) ((/p/ /q/) /r/) De (se /p/ ento (/q/ ento /r/) verdadeiro) podemos demonstrar que ((/p/ /q/) /r/) verdadeiro Tautologia (1) /p/ (/p/ /p/) /p/ verdadeiro tem como consequncia /p/ verdadeiro ou /p/ verdadeiro Tautologia (2) /p/ (/p/ /p/) /p/ verdadeiro tem como

consequncia /p/ verdadeiro e /p/ verdadeiro Tertium non datur (Lei do Terceiro Excludo) (/p/ /p/) no /p/ verdadeiro Em seguida, detalha-se a ltima regra, dita hipottica. Regra de Demonstrao Condicional (RDC) Um dos principais usos de um clculo proposicional, em aplicaes lgicas, na determinao de relaes de equivalncia lgica entre frmulas proposicionais. Essas relaes so determinadas em termos das regras de transformao disponveis. Sequncias de regras estabelecem o que chamamos "derivao" ou "demonstrao". Na discusso a seguir, uma demonstrao apresentada como uma sequncia de linhas enumeradas, em que cada linha consiste em uma nica frmula, seguida por uma /razo/ ou /justificativa/ para introduzir esta frmula. Cada premissa do argumento, que assumida como uma hiptese do argumento, listada no comeo da sequncia e justificada simplesmente como uma "premissa". A concluso listada na ltima linha. Uma demonstrao completa se cada linha segue das anteriores pela aplicao correta de uma regra de inferncia. Exemplo de demonstrao condicional

/p/ ou

* Para mostrar que /A/ /A/. * Uma demonstrao possvel para isso, pode ser obtida da seguinte forma: Exemplo Nmero 1 2 3 de prova Frmula Razo /A/ premissa /A/ ] /A/ Resumo de (1) ] /A/ /A/ De (2) pela demonstrao condicional

Interprete /A/ ] /A/ como "Assumindo /A/, infere-se /A/". Leia ] /A/ /A/ como "Sem assumir nada, infira que /A/ implica /A/," ou " uma tautologia que /A/ implica /A/," ou " sempre verdade que /A/ implica /A/." Correo e completude das regras As propriedades cruciais desse conjunto de regras so que elas so /corretas/ e /completas/. Informalmente isso quer dizer que as regras so corretas e que no preciso acrescentar outras regras. Faremos uma abordagem mais formal disto logo abaixo. Definimos uma /atribuio de verdade <http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_de_verdade>/ como uma funo matemtica que mapeia variveis proposicionais para os valores *verdadeiro* ou *falso*. Informalmente estas atribuies podem ser entendidas como uma descrio de um possvel estado das coisas no qual certas asseres so verdadeiras e outras no so. A semntica das frmulas pode ser formalizada pela definio de quais so os "estados das coisas" nos quais elas so consideradas verdadeiras, que o que feito pela definio a seguir. Definimos quando uma atribuio /v/ satisfaz uma certa frmula bem formada com as seguintes regras:

* /v/ satisfaz a varivel proposicional /p/ se e somente se /v/(/p/) = *verdadeiro* * /v/ satisfaz f se e somente se /v/ no satisfaz f * /v/ satisfaz (f y) se e somente se /v/ satisfaz ambos f e y * /v/ satisfaz (f y) se e somente se /v/ satisfaz pelo menos f ou y * /v/ satisfaz (f y) se e somente se no for o caso em que /v/ satisfaz f mas no y * /v/ satisfaz (f y) se e somente se /v/ satisfaz tanto f e y ou no satisfaz nenhum deles Com esta definio podemos formalizar agora o que quer dizer uma frmula f ser implicada por certo conjunto /\Gamma \!/ de frmulas. Informalmente, isto o caso se em todo estado possvel das coisas no qual vale o conjunto de frmulas \Gamma \! vale tambm a frmula f. Isso leva para a seguinte definio formal: Ns dizemos que um conjunto /\Gamma \!/ de fbfs /semanticamente ligadas/ implicam que uma certa fbf f se todas as atribuies verdadeiras que satisfazem as frmulas /\Gamma \!/ tambm satisfazem f. Finalmente ns definimos uma "relao de consequncia sinttica" tal que f consequncia sinttica de /\Gamma \!/ se e somente se ns podemos derivar com as regras de inferncia que foram apresentadas acima em um nmero finito de passos. Isso nos permite formular exatamente o que quer dizer para um conjunto de regras de inferncia ser correto e completo: *Correo lgica <http://pt.wikipedia.org/w/index.php?title=Corre%C3%A7%C3%A3o_l%C3%B3gica&action =edit&redlink=1>* Se o conjunto de fbfs /\Gamma \!/ tem como consequncia sinttica a fbf f, ento /\Gamma \!/ tem como consequncia semntica f. *Completude lgica <http://pt.wikipedia.org/wiki/Completude_l%C3%B3gica>* Se o conjunto de fbfs /\Gamma \!/ tem como consequncia semntica a fbf f ento /\Gamma \!/ tem como consequncia sinttica f. Para o conjunto de regras acimas este , ento, o caso. Um clculo alternativo possvel definir outra verso do clculo proposicional, que define a maior parte da sintaxe dos operadores lgicos em termos de axiomas e usa somente uma regra de inferncia. Axiomas Seja f, c e y smbolos para frmulas bem formadas. (As fbfs em si no contm nenhuma letra grega, mas somente letras romanas maisculas, operadores conectivos, e parnteses.) Ento, os axiomas so os seguintes: Axiomas Nome ENTO-1 ENTO-2 sobre a E-1 E-2 E-3 OU-1 Esquema Axiomtico Descrio f (c f) Adiciona a hiptese c, introduo da implicao (f (c y)) ((f c) (f y)) Distribui a hiptese f implicao f c f Eliminao da conjuno f c c Eliminao da conjuno 2 f (c (f c)) Introduo da conjuno f f c Introduo da disjuno 2

OU-2 OU-3 NO-1 NO-2 NO-3 SSE-1 SSE-2 SSE-3

c f (f y) (f c) f (f f f (f c) (f c) (f c)

c Introduo da disjuno ((c y) (f c y)) Eliminao da disjuno ((f c) f) Introduo da negao c) Eliminao da negao Lei do terceiro excludo, lgica clssica (f c) Eliminao da equivalncia (c f) Eliminao da equivalncia 2 ((c f) (f c)) Introduo da equivalncia

O axioma ENTO-2 pode ser considerado como sendo uma "propriedade distributiva da implicao com relao implicao." Os axiomas E-1 e E-2 correspondem "eliminao da conjuno". A relao entre E-1 e E-2 reflete a comutatividade do operador da conjuno. O axioma E-3 corresponde "introduo da conjuno." Os axiomas OU-1 e OU-2 correspondem "introduo da disjuno." A relao entre OU-1 e OU-2 reflete a comutatividade do operador da disjuno. O axioma NO-1 corresponde "reduo ao absurdo." O axioma NO-2 diz que "tudo pode ser deduzido a partir da contradio." O axioma NO-3 chamado "tertium non datur <http://pt.wikipedia.org/wiki/Lei_do_terceiro_exclu%C3%ADdo>" (Latim <http://pt.wikipedia.org/wiki/Latim>: "no h uma terceira opo") e reflete a valorao semntica da frmula proposicional: uma frmula pode ter um valor de verdade verdadeiro ou falso. No h um terceiro valor de verdade, pelo menos no na lgica clssica. Lgica intuicionista <http://pt.wikipedia.org/wiki/L%C3%B3gica_intuicionista> no aceita o axioma NO-3. Regra de inferncia A regra de inferncia modus ponens <http://pt.wikipedia.org/wiki/Modus_ponens>: * \phi ,\ \phi \rightarrow \chi \vdash \chi . Meta-regra de inferncia Seja uma demonstrao representada por uma sequncia, com hipteses esquerda do smbolo de consequncia formal \vdash e as concluses direita do \vdash . Ento o teorema da deduo <http://pt.wikipedia.org/w/index.php?title=Teorema_da_dedu%C3%A7%C3%A3o&action=e dit&redlink=1> pode ser definido como: /Se a sequncia/ \phi _{1},\ \phi _{2},\ ...,\ \phi _{n},\ \chi \vdash \psi /foi demonstrada, ento tambm possvel demonstrar a sequncia/ \phi _{1},\ \phi _{2},\ ...,\ \phi _{n}\vdash \chi \rightarrow \psi . Esse teorema de deduo (TD) no formulado por meio da lgica proposicional: no um teorema /da/ lgica proposicional, mas um teorema /sobre/ a lgica proposicional. Nesse sentido, um meta-teorema, comparvel aos teoremas sobre a correo ou completude da lgica proposicional.

Por outro lado, o TD to til para simplificar o processo de demonstrao sinttica que pode ser considerado e usado como uma outra regra de inferncia qualquer acompanhando modus ponens. Neste sentido, o TD corresponde regra de /demonstrao condicional/ que parte da primeira verso do clculo proposicional introduzida neste verbete. A recproca <http://pt.wikipedia.org/wiki/Rec%C3%ADproca> do TD tambm vlida: /Se a sequncia/ \phi _{1},\ \phi _{2},\ ...,\ \phi _{n}\vdash \chi \rightarrow \psi /foi demonstrada, ento tambm possvel demonstrar a sequncia/ \phi _{1},\ \phi _{2},\ ...,\ \phi _{n},\ \chi \vdash \psi De fato, a validade da recproca do TD quase trivial comparada validade do TD: /Se/ \phi _{1},\ ...,\ \phi _{n}\vdash \chi \rightarrow \psi /ento/ 1: \phi _{1},\ ...,\ \phi _{n},\ \chi \vdash \chi \rightarrow \psi 2: \phi _{1},\ ...,\ \phi _{n},\ \chi \vdash \chi /e de (1) e (2) se pode deduzir/ 3: \phi _{1},\ ...,\ \phi _{n},\ \chi \vdash \psi /por meio do modus ponens, Q.E.D./ A validade do TD tem aplicaes poderosas: pode ser usada para converter um axioma numa regra de inferncia. Por exemplo, o axioma E-1, \vdash \phi \wedge \chi \rightarrow \phi pode ser transformado por meio da recproca do teorema da deduo na regra de inferncia \phi \wedge \chi \vdash \phi que a eliminao da conjuno <http://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_da_conjun%C3%A7%C3%A3o>, uma das dez regras de inferncia usadas na primeira verso (no presente verbete) do clculo proposicional. Exemplo de uma prova A seguir, h um exemplo de uma demonstrao (sinttica), envolvendo apenas axiomas ENTO-1 e ENTO-2: *Provar:* /A/ /A/ (Reflexibilidade da implicao). *Prova:* 1. (/A/ ((/B/ /A/) /A/)) ((/A/ (/B/ /A/)) (/A/ /A/))

Axioma ENTO-2 com f = /A/, c = /B/ /A/, y = /A/ 2. /A/ ((/B/ /A/) /A/) Axioma ENTO-1 com f = /A/, c = /B/ /A/ 3. (/A/ (/B/ /A/)) (/A/ /A/) De (1) e (2) por modus ponens. 4. /A/ (/B/ /A/) Axioma ENTO-1 com f = /A/, c = /B/ 5. /A/ /A/ De (3) e (4) por modus ponens. Outros clculos lgicos Lgica proposicional praticamente o tipo mais simples de clculo lgico em qualquer uso. (O clculo silogstico Aristotlico, que amplamente utilizado na lgica moderna, sob /alguns/ pontos de vista mais simples mas em outros mais complexo do que a lgica proposicional.) A lgica proposicional pode ser estendida de diversas formas. A forma mais imediata de desenvolver um clculo lgico mais complexo pela introduo de regras que so sensveis aos detalhes estruturais das sentenas empregadas. Quando as "sentenas atmicas" da lgica proposicional so quebradas em termos <http://pt.wikipedia.org/w/index.php?title=Termos_singulares&action=edit&redlink =1>, variveis <http://pt.wikipedia.org/wiki/Vari%C3%A1veis>, predicados <http://pt.wikipedia.org/w/index.php?title=Predicados_%28l%C3%B3gica%29&action=e dit&redlink=1>, e quantificadores <http://pt.wikipedia.org/wiki/Quantificador>, elas do origem lgica de primeira ordem <http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem>, ou lgica de predicados de primeira ordem, que mantm todas as regras da lgica proposicional e adiciona algumas novas. Por exemplo, de "Todos os cachorros so mamferos" podemos inferir "Se Tot um cachorro ento Tot um mamfero". Com as ferramentas da lgica de primeira ordem possvel formular vrias teorias, tanto com axiomas explcitos como atravs de regras de inferncia, teorias que podem elas prprias ser tratadas como clculos lgicos. A aritmtica <http://pt.wikipedia.org/wiki/Aritm%C3%A9tica> o melhor exemplo disso; outros exemplos incluem a teoria dos conjuntos <http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos> e a mereologia <http://pt.wikipedia.org/w/index.php?title=Mereologia&action=edit&redlink=1>. As lgicas modais <http://pt.wikipedia.org/wiki/L%C3%B3gica_modal> tambm oferecem uma variedade de inferncias que no podem ser capturadas pelo clculo proposicional. Por exemplo, de "Necessariamente /p/" podemos inferir que /p/. De /p/ podemos inferir " possvel que /p/". As lgicas polivalentes <http://pt.wikipedia.org/w/index.php?title=L%C3%B3gica_polivalente&action=edit&r

edlink=1> so aquelas lgicas que permitem outros valores alm de /verdadeiro/ e /falso/ so permitidos. Por exemplo, /nenhum/ e /ambos/ so "valores extras" padres; a "lgica do contnuo" permite que cada sentena tenha qualquer grau de verdade de um nmero infinito de graus entre /verdadeiro/ e /falso/. Referncias gerais * Bedregal, Benjamn Ren Callejas <http://pt.wikipedia.org/w/index.php?title=Benjam%C3%ADn_Ren%C3%A9_Callejas_ Bedregal&action=edit&redlink=1>, e Acil, Benedito Melo <http://pt.wikipedia.org/w/index.php?title=Benedito_Melo_Aci%C3%B3l&action= edit&redlink=1> (2002), /Lgica para a Cincia da Computao/,Verso Preliminar, Natal, RN. * GORSKY, Samir. /A semntica algbrica para a lgica modal e seu interesse filosfico <http://samirgorsk.eu5.org/trabalhos/logicamodal.pdf>/. Dissertao de mestrado. IFCH-UNICAMP. 2008. * /Lgica e Filosofia <http://samirgorsk.eu5.org/>/ Site com muitas informaes sobre lgica e filosofia tais como links para departamentos de filosofia do Brasil e de outros pases, textos acadmicos filosficos e tpicos sobre histria da filosofia. Wikilivros <http://pt.wikipedia.org/wiki/Ficheiro:Wikibooks-logo.svg> O Wikilivros <http://pt.wikipedia.org/wiki/Wikilivros> tem um livro chamado /*Lgica <http://pt.wikibooks.org/wiki/Special:Search/L%C3%B3gica>*/ Ver tambm Nveis lgicos * Lgica de primeira ordem <http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem> * Lgica de segunda ordem <http://pt.wikipedia.org/wiki/L%C3%B3gica_de_segunda_ordem> * Lgica de ordem superior <http://pt.wikipedia.org/wiki/L%C3%B3gica_de_ordem_superior> Blocos bsicos * XOR <http://pt.wikipedia.org/wiki/XOR> * Conjuno lgica <http://pt.wikipedia.org/wiki/Conjun%C3%A7%C3%A3o_l%C3%B3gica> * Disjuno lgica <http://pt.wikipedia.org/wiki/Disjun%C3%A7%C3%A3o_l%C3%B3gica>

* Implicao <http://pt.wikipedia.org/wiki/Implica%C3%A7%C3%A3o> * NAND <http://pt.wikipedia.org/wiki/NAND> * Negao <http://pt.wikipedia.org/wiki/Nega%C3%A7%C3%A3o>

Tpicos relacionados * * * * lgebra booleana <http://pt.wikipedia.org/wiki/%C3%81lgebra_booleana> Anfeque <http://pt.wikipedia.org/wiki/Anfeque> Axioma <http://pt.wikipedia.org/wiki/Axioma> Clculo proposicional implicacional <http://pt.wikipedia.org/wiki/C%C3%A1lculo_proposicional_implicacional> * Completude funcional <http://pt.wikipedia.org/wiki/Completude_funcional>

* Deduo natural <http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural> * Equivalncia lgica <http://pt.wikipedia.org/wiki/Equival%C3%AAncia_l%C3%B3gica> * Forma normal conjuntiva <http://pt.wikipedia.org/wiki/Forma_normal_conjuntiva> * Forma normal disjuntiva <http://pt.wikipedia.org/wiki/Forma_normal_disjuntiva> * Forma normal implicativa <http://pt.wikipedia.org/w/index.php?title=Forma_Normal_Implicativa&action=e dit&redlink=1> * Frmula atmica <http://pt.wikipedia.org/wiki/F%C3%B3rmula_at%C3%B4mica>

* Histria da lgica <http://pt.wikipedia.org/wiki/Hist%C3%B3ria_da_l%C3%B3gica> * Lgica aristotlica <http://pt.wikipedia.org/wiki/L%C3%B3gica_aristot%C3%A9lica> * Operao <http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o> * Princpio da resoluo <http://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_resolu%C3%A7%C3%A3o> * Tabela verdade <http://pt.wikipedia.org/wiki/Tabela_verdade> Obtida de "http://pt.wikipedia.org/w/index.php?title=Lgica_proposicional&oldid=37651709 <http://pt.wikipedia.org/w/index.php?title=L%C3%B3gica_proposicional&oldid=37651 709>" Categorias <http://pt.wikipedia.org/wiki/Especial:Categorias>: * Lgica <http://pt.wikipedia.org/wiki/Categoria:L%C3%B3gica> * Lgica matemtica <http://pt.wikipedia.org/wiki/Categoria:L%C3%B3gica_matem%C3%A1tica> Categoria oculta: * !Pginas a reciclar desde Fevereiro de 2010 <http://pt.wikipedia.org/wiki/Categoria:%21P%C3%A1ginas_a_reciclar_desde_Fev ereiro_de_2010> Menu de navegao Ferramentas pessoais * Criar conta

<http://pt.wikipedia.org/w/index.php?title=Especial:Entrar&returnto=L%C3%B3g ica+proposicional&returntoquer=printable%3Des&tpe=signup> * Entrar <http://pt.wikipedia.org/w/index.php?title=Especial:Entrar&returnto=L%C3%B3g ica+proposicional&returntoquer=printable%3Des> Espaos nominais * Artigo <http://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional> * Discusso <http://pt.wikipedia.org/wiki/Discuss%C3%A3o:L%C3%B3gica_proposicional> Variantes<#> Vistas * Ler <http://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional> * Editar <http://pt.wikipedia.org/w/index.php?title=L%C3%B3gica_proposicional&veactio n=edit> * Editar cdigo-fonte <http://pt.wikipedia.org/w/index.php?title=L%C3%B3gica_proposicional&action= edit> * Ver histrico <http://pt.wikipedia.org/w/index.php?title=L%C3%B3gica_proposicional&action= histor> Aes<#> Busca <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:P%C3%A1gina_principal> Navegao * Pgina principal <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:P%C3%A1gina_principal> * Contedo destacado <http://pt.wikipedia.org/wiki/Portal:Conte%C3%BAdo_destacado> * Eventos atuais <http://pt.wikipedia.org/wiki/Portal:Eventos_atuais> * Esplanada <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Esplanada> * Pgina aleatria <http://pt.wikipedia.org/wiki/Especial:Aleat%C3%B3ria> * Portais <http://pt.wikipedia.org/wiki/Portal:%C3%8Dndice> * Informar um erro <#> Colaborao <#> * Boas-vindas <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Boas-vindas> * Ajuda <http://pt.wikipedia.org/wiki/Ajuda:P%C3%A1gina_principal> * Pgina de testes <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:P%C3%A1gina_de_testes> * Portal comunitrio <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Portal_comunit%C3%A1rio>

* Mudanas recentes <http://pt.wikipedia.org/wiki/Especial:Mudan%C3%A7as_recentes> * Manuteno <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Manuten%C3%A7%C3%A3o> * Criar pgina <http://pt.wikipedia.org/wiki/Ajuda:Guia_de_edi%C3%A7%C3%A3o/Como_come%C3%A7 ar_uma_p%C3%A1gina> * Pginas novas <http://pt.wikipedia.org/wiki/Especial:P%C3%A1ginas_novas> * Contato <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Contato> * Donativos <http://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=do nate&utm_medium=sidebar&utm_campaign=20120521SB001&uselang=pt> Imprimir/exportar <#> * Criar um livro <http://pt.wikipedia.org/w/index.php?title=Especial:Livro&bookcmd=book_creat or&referer=L%C3%B3gica+proposicional> * Descarregar como PDF <http://pt.wikipedia.org/w/index.php?title=Especial:Livro&bookcmd=render_art icle&arttitle=L%C3%B3gica+proposicional&oldid=37651709&writer=rl> Ferramentas <#> * Pginas afluentes <http://pt.wikipedia.org/wiki/Especial:P%C3%A1ginas_afluentes/L%C3%B3gica_pr oposicional> * Alteraes relacionadas <http://pt.wikipedia.org/wiki/Especial:Altera%C3%A7%C3%B5es_relacionadas/L%C 3%B3gica_proposicional> * Carregar ficheiro <http://pt.wikipedia.org/wiki/Wikipedia:Carregar_ficheiro> * Pginas especiais <http://pt.wikipedia.org/wiki/Especial:P%C3%A1ginas_especiais> * Ligao permanente <http://pt.wikipedia.org/w/index.php?title=L%C3%B3gica_proposicional&oldid=3 7651709> * Informaes da pgina <http://pt.wikipedia.org/w/index.php?title=L%C3%B3gica_proposicional&action= info> * Dados de item <http://www.wikidata.org/wiki/Q200694> * Citar esta pgina <http://pt.wikipedia.org/w/index.php?title=Especial:Citar&page=L%C3%B3gica_p roposicional&id=37651709> Noutras lnguas <#> * Afrikaans <http://af.wikipedia.org/wiki/Proposisionele_logika> * <http://ar.wikipedia.org/wiki/%D8%AD%D8%B3%D8%A7%D8%A8_%D8%A7%D9%84%D9%82%D8 %B6%D8%A7%D9%8A%D8%A7> * <http://be.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%B2%D1 %8B%D0%BA%D0%B0%D0%B7%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F%D1%9E> * () <http://be-x-old.wikipedia.org/wiki/%D0%97%D1%8C%D0%BB%D1%96%D1%87%D1%8D%D0% BD%D1%8C%D0%BD%D0%B5_%D0%B2%D1%8B%D0%BA%D0%B0%D0%B7%D0%B2%D0%B0%D0%BD%D1%8C%D0%B

D%D1%8F%D1%9E> * Catal <http://ca.wikipedia.org/wiki/L%C3%B2gica_proposicional> * etina <http://cs.wikipedia.org/wiki/V%C3%BDrokov%C3%A1_logika> * Cmraeg <http://c.wikipedia.org/wiki/Rhesmeg_osodiadol> * Deutsch <http://de.wikipedia.org/wiki/Aussagenlogik> * English <http://en.wikipedia.org/wiki/Propositional_calculus> * Espaol <http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional> * Eesti <http://et.wikipedia.org/wiki/Lauseloogika> * Euskara <http://eu.wikipedia.org/wiki/Logika_proposizional> * <http://fa.wikipedia.org/wiki/%D8%AD%D8%B3%D8%A7%D8%A8_%DA%AF%D8%B2%D8%A7%D8 %B1%D9%87%E2%80%8C%D8%A7%DB%8C> * Suomi <http://fi.wikipedia.org/wiki/Propositiologiikka> * Franais <http://fr.wikipedia.org/wiki/Calcul_des_propositions> * <http://he.wikipedia.org/wiki/%D7%AA%D7%97%D7%A9%D7%99%D7%91_%D7%A4%D7%A1%D7 %95%D7%A7%D7%99%D7%9D> * Magar <http://hu.wikipedia.org/wiki/%C3%8Dt%C3%A9letlogika> * Bahasa Indonesia <http://id.wikipedia.org/wiki/Kalkulus_proposisional> * Italiano <http://it.wikipedia.org/wiki/Logica_proposizionale> * <http://ja.wikipedia.org/wiki/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86> * <http://ko.wikipedia.org/wiki/%EB%AA%85%EC%A0%9C_%EB%85%BC%EB%A6%AC> * <http://k.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0%D0%BB%D1% 8B%D0%BA_%D1%81%D2%AF%D0%B9%D0%BB%D3%A9%D3%A9> * Latina <http://la.wikipedia.org/wiki/Logica_propositionalis> * Lietuvi <http://lt.wikipedia.org/wiki/Teigini%C5%B3_logika> * Nederlands <http://nl.wikipedia.org/wiki/Propositielogica> * Norsk nnorsk <http://nn.wikipedia.org/wiki/Utsegnslogikk> * Norsk bokml <http://no.wikipedia.org/wiki/Setningslogikk> * Polski <http://pl.wikipedia.org/wiki/Rachunek_zda%C5%84> * <http://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_%D0%B2%D1 %8B%D1%81%D0%BA%D0%B0%D0%B7%D1%8B%D0%B2%D0%B0%D0%BD%D0%B8%D0%B9> * Simple English <http://simple.wikipedia.org/wiki/Propositional_logic> * Slovenina <http://sk.wikipedia.org/wiki/V%C3%BDrokov%C3%A1_logika> * Slovenina <http://sl.wikipedia.org/wiki/Propozicijska_logika> * / srpski <http://sr.wikipedia.org/wiki/%D0%98%D1%81%D0%BA%D0%B0%D0%B7%D0%BD%D0%B8_%D1 %80%D0%B0%D1%87%D1%83%D0%BD> * Svenska <http://sv.wikipedia.org/wiki/Satslogik> * <http://th.wikipedia.org/wiki/%E0%B9%81%E0%B8%84%E0%B8%A5%E0%B8%84%E0%B8%B9% E0%B8%A5%E0%B8%B1%E0%B8%AA%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%87%E0%B8%9B%E0%B8%A3 %E0%B8%B0%E0%B8%9E%E0%B8%88%E0%B8%99%E0%B9%8C> * - <http://uk.wikipedia.org/wiki/%D0%A7%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D1% 8F_%D0%B2%D0%B8%D1%81%D0%BB%D0%BE%D0%B2%D0%BB%D0%B5%D0%BD%D1%8C> * <http://zh.wikipedia.org/wiki/%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91> * Editar ligaes <http://www.wikidata.org/wiki/Q200694#sitelinks-wikipedia> * Esta pgina foi modificada pela ltima vez (s) 11h57min de 16 de dezembro de 2013. * Este texto disponibilizado nos termos da licena Atribuio-Partilha nos Mesmos Termos 3.0 no Adaptada (CC BY-SA 3.0) <http://creativecommons.org/licenses/b-sa/3.0/deed.pt>; pode estar sujeito a condies adicionais. Consulte as condies de uso

<http://wikimediafoundation.org/wiki/Condi%C3%A7%C3%B5es_de_Uso> para mais detalhes. * Poltica de privacidade <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Pol%C3%ADtica_de_privacidade> * Sobre a Wikipdia <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Sobre> * Avisos gerais <http://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Aviso_geral> * Programadores <https://www.mediawiki.org/wiki/Special:MLanguage/How_to_contribute> * Verso mvel <http://pt.m.wikipedia.org/w/index.php?title=L%C3%B3gica_proposicional&print able=es> * Wikimedia Foundation <http://wikimediafoundation.org/> * Powered b MediaWiki <http://www.mediawiki.org/>