Lgica Matemtica/Clculo Proposicional

Lgica Matemtica/Clculo Proposicional

Clculo proposicional um sistema da lgica matemtica que representa os prncipios e operaes da lgica proposicional .

Proposio
Proposio uma sentena declarativa afirmativa que pode assumir um valor de Verdadeiro (V) ou Falso (F). Como exemplo de proposies temos: A terra redonda. O dado quadrado. As proposies de acordo com a lgica clssica devem pelos seguintes prncipios ((entre outros): Prncipio da no-contradio: uma proposio no pode ser verdadeira ou falsa ao mesmo tempo. Prncipio do terceiro excludo: uma proposio deve obrigatoriamente ser verdadeira ou falsa, mas no ter uma terceira possibilidade.

Smbolos
Variveis proposicionais
Dentro da lgica proposicional cada proposio considerado um elemento simples (tomo), representado com uma letra minuscla a partir do p. (Por exemplo, p, q e outros).

Conectivos lgicos
As frmulas atmicas podem ser combinadas entre si utilizando-se os conectivos lgicos. Utilizam-se os parnteses para delimitar o alcance de cada conectivo.
Valor lgico Negao Conjuno Disjuno Condicional Bi-condicional Smbolo , , ~ ou ' Expresso no, falso, no verdade que e, mas , tambm, alm disso ou se...ento, implica, logo, somente se ...se, e somente se...; ... condio necessria que ... Observao inverte o valor da proposio nenhuma no confundir com o ou exclusivo nenhuma nenhuma

Uma cadeia que forma uma expresso vlida (isto que oferea um valor F ou V de retorno) chamado de frmula bem-formulada (fbf).

Lgica Matemtica/Clculo Proposicional

Tabelas-verdades
Tabelas-verdades sao matrizes de V ou F que uma proposio assume de acordo com o conectivo lgico associado a ele. Utilizaremos a letra p para representar o uso de conectivos sobre apenas uma proposio, e p e q quando o conectivo age sobre duas proposies.

Conjuno
p V F V F q V V F F p V F F F q

Disjuno
p V V F F q V F V F p V V V F q

Condicional
p q p q

Bi-condicional
p q p V F F V q

V V V F F F V F

Disjuno-exclusiva

Lgica Matemtica/Clculo Proposicional

p V V F F

q V F V F

p F V V F

Proposies compostas
Uma proposio composta um conjunto de proposies simples com seus conectivos, representada por uma letra maiscula. Ex: P: p q ou P (p,q):p,q. Para n proposies simples com possibilidades V e F, considera-se que a tabela-verdade que os combina ter linhas. Tautologia Tautologia uma proposio composta onde todas as suas combinaes finais so V. Contradio Contradio uma proposio composta onde todas as suas combinaes finais so F. Contigncia Contingncia uma proposio composta onde os valores F e V aparecem pelo menos uma vez nas combinaes finais.

Implicao
Uma proposio implica logicamente outra quando, e somente quando, para cada atribuio de valores verdade que torna uma proposio verdadeira, tambm tornam sua implicao verdadeira. Ou seja, dadas duas proposies P e Q, P implica Q todas as vezes que ambos os lados aparecerem Ve.
p V V F F q V F V F (P) p V F F F q (Q)p V V V F q (R) p V F F V q

Equivalncia lgica
Uma proposio composta logicamente equivalente a outra se suas tabelas-verdades so idnticas. A equivalncia lgica representada por ( ).

Resumo
Clculo proposicional um sistema da lgica matemtica que representa os prncipios e operaes da lgica proposicional . Proposio uma sentena declarativa afirmativa que pode assumir um valor de Verdadeiro (V) ou Falso (F).Uma proposio no pode ser verdadeira ou falsa ao mesmo tempo e uma proposio deve obrigatoriamente ser verdadeira ou falsa, mas no ter uma terceira possibilidade. As frmulas atmicas podem ser combinadas entre si utilizando-se os conectivos lgicos.Utilizam-se os parnteses para delimitar o alcance de cada conectivo.

Lgica Matemtica/Clculo Proposicional Uma proposio composta um conjunto de proposies simples com seus conectivos, representada por uma letra maiscula. Tautologia uma proposio composta onde todas as suas combinaes finais so V. Contradio uma proposio composta onde todas as suas combinaes finais so F. Contingncia uma proposio composta onde os valores F e V aparecem pelo menos uma vez nas combinaes finais. Uma proposio implica logicamente outra quando, e somente quando, para cada atribuio de valores verdade que torna uma proposio verdadeira, tambm tornam sua implicao verdadeira. Uma proposio composta logicamente equivalente a outra se suas tabelas-verdades so idnticas.

Exerccios
1 - Negue cada uma das seguintes expressoes a) a -> b b) a ^ ~b c) a -> ~b

Bibliografia
Klement, Kevin C. (2006), "Propositional Logic", in James Fieser and Bradley Dowden (eds.), Internet Encyclopedia of Philosophy, Eprint [1]. Introduction to Mathematical Logic [2] Elements of Propositional Calculus [3] forall x: an introduction to formal logic [4], por P.D. Magnus, covers formal semantics and proof theory for sentential logic. Lgica: Clculo Proposicional Clssico

Referncias
[1] [2] [3] [4] http:/ / www. iep. utm. edu/ p/ prop-log. htm http:/ / www. ltn. lv/ ~podnieks/ mlog/ ml2. htm http:/ / www. visualstatistics. net/ Scaling/ Propositional%20Calculus/ Elements%20of%20Propositional%20Calculus. htm http:/ / www. fecundity. com/ logic/

Fontes e Editores da Pgina

Fontes e Editores da Pgina

Lgica Matemtica/Clculo Proposicional Fonte: http://pt.wikiversity.org/w/index.php?oldid=32958 Contribuidores: Dante, Luckas Blade, Luckas13, Marcos Antnio Nunes de Moura, Mercy, Ozymandias, Rjclaudio, Sir Lestaty de Lioncourt, Thiago, Thiagoharry, VasilievVV, 37 edies annimas

Licena
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/