1a) 0

b) 0
c) 1
d) 0
e) 0
f) 0

2a) Paulo no trabalha.

b) Paulo trabalha e estuda.
c) Paulo trabalha se, e somente se, estuda.
d) Paulo trabalha ou no estuda.
e) Paulo no trabalha e no estuda.
f) Se Paulo trabalha, ento no estuda.
g) Paulo no trabalha se, e somente se, estuda.
h) Paulo trabalha ou no estuda.
i) Se Paulo trabalha e no estuda, ento Paulo estuda.
j) Se Paulo trabalha ou estuda, ento Paulo estuda.

3a) 1
b) 1
c) 0
d) 0
e) 1
f) 1
g) 0
h) 0
i) 0
j) 0
l) 1
m) 1

4a)

1
0
1
1

(p
0
0
1
1

0
1
0
0

q)
1
0
1
0

b)
(p
0
0
1
1

0
1
1
0

q)
1
0
1
0

0
0
1
0

(q
0
1
0
1

1
0
1
1

p)
0
0
1
1

c)
Q
0
1
0
1

1
0
0
0

(q
1
0
1
0

0
0
1
0

(p
0
0
1
1

0
1
1
0

q)
1
0
1
0

1
1
0
1

p)
0
0
1
1

d)

0
1
0
0

(p
1
1
0
0

q)
0
1
0
1

e)

0
1
1
1

((p
0
0
1
1
f)
(r

0
1
0
1
0
1
0
1

(p
0
1
0
0
0
1
0
1

0
1
0
0

q)
0
1
0
1

0
0
0
0
1
1
1
1

1
1
0
0
1
1
0
0

q))
1
1
0
0
1
1
0
0

1
0
1
1

p)
1
1
0
0

0
1
0
0
0
1
0
0

1
0
1
0
1
0
1
1

(r
0
1
0
1
0
1
0
0

1
0
1
1

(q
0
1
0
1

1
0
1
0
1
0
1
0

(p
0
0
0
0
1
1
1
1

g)
P
0
0
0
0
1
1
1
1

0
0
0
1
1
1
1
1

(q
0
0
1
1
0
0
1
1

0
0
0
1
0
0
0
1

r)
0
1
0
1
0
1
0
1

(q

p)

(q

h)

p)

p)
0
0
1
1

0
0
0
0
0
0
1
1

q))
0
0
1
1
0
0
1
1

1
0
1
0

1
0
1
1

0
0
1
1

1
0
1
0

0
1
0
1

1
1
1
0

0
0
1
1
0
0
0
0

(p
0
0
0
0
1
1
1
1

1
1
0
0
1
1
1
1

q)
1
1
0
0
1
1
0
0

0
0
1
1
0
0
0
0

(p
1
1
1
1
0
0
0
0

(p
0
0
0
0
1
1
1
1

0
0
0
0
1
0
1
0

r)
1
0
1
0
1
0
1
0

1
1
1
1
1
1
0
1

1
1
1
1
1
1
0

(p
0
0
0
0
1
1
1

0
0
0
0
0
0
1

1
1
0
0

i)

1
1
1
1
0
1
0
1

r)
0
1
0
1
0
1
0
1

j)
q
1
1
0
0
1
1
0
0

l)
q)
0
0
1
1
0
0
1

0
1
0
1
0
0
1

0
1
0
1
0
0
0

(p
0
0
0
0
1
1
1

1
0
1
0
1
1
1

r)
1
0
1
0
1
0
1

(p
0
0
0
0
1
1
1
1

v
1
0
1
0
1
1
1
1

r)
1
0
1
0
1
0
1
0

1
1
0
1
1
1
0
0

q
1
1
0
0
1
1
0
0

m)

5a) 0
b) 1
c) 1
d) 1
e) 1
f) 1
g) 0
h) 1
6) 1
7) 1
8a) 1
b) 1
c) 0
d) 1
e)1
9a) tautologia
b)tautologia
c) contingncia
d) tautologia
e) tautologia
f) contingncia
g) contingncia
h) tautologia

Lgica proposicional
Origem: Wikipdia, a enciclopdia livre.

Esta pgina precisa ser reciclada de acordo com o livro de estilo (desde fevereiro de
2010).

Sinta-se livre para edit-la para que esta possa atingir um nvel de qualidade superior.
Em lgica e matemtica, uma lgica proposicional (ou clculo sentencial)
um sistema formal no qual as frmulas representam proposies 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" 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), 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) da linguagem. Alm disso, pode se apresentar uma semntica
para definir verdade e valoraes (ouinterpretaes).
A linguagem de um clculo proposicional consiste em:
1. um conjunto de smbolos primitivos, definidos como frmulas atmicas,
proposies atmicas, ou variveis, e
2. um conjunto de operadores, interpretados como operadores
lgicos ou conectivos lgicos.
Uma frmula bem formada (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

2 Descrio genrica de um clculo proposicional

2.1 Descrio
2.2 Tabelas Verdade
2.2.1 Negao
2.2.2 Conjuno
2.2.3 Disjuno
2.2.4 Implicao ou Condicional
2.2.5 Bi-implicao ou Equivalncia
3 Exemplo 1. Sistema axiomtico simples
4 Exemplo 2. Sistema de Deduo Natural
4.1 Regra de Demonstrao Condicional (RDC)
5 Correo e completude das regras
6 Um clculo alternativo
6.1 Axiomas
6.2 Regra de inferncia
6.3 Meta-regra de inferncia
6.4 Exemplo de uma prova
7 Outros clculos lgicos
8 Referncias gerais
9 Ver tambm
9.1 Nveis lgicos
9.2 Blocos bsicos
9.3 Tpicos relacionados

Abstrao e aplicaes[editar | editar cdigo-fonte]

Embora seja possvel construir um clculo abstrato formal que no tem uso
prtico imediato e praticamente nenhuma aplicao bvia, o
nome clculo 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[editar | editar

cdigo-fonte]
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, 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[editar | editar cdigo-fonte]

Um clculo proposicional um sistema formal
construdas da seguinte maneira:

cujas frmulas so

O conjunto alfa
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
, tambm referidos como frmulas
atmicas ou elementos terminais. Nos exemplos a seguir, os elementos
de

so tipicamente as letras

O conjunto omega

, em diante.

um conjunto finito de elementos

chamados smbolos de operadores ou conectivos lgicos. O conjunto

 dividido entre os seguintes conjuntos distintos:

Nesta diviso,

o conjunto dos smbolos de aridade

Nos clculos proposicionais mais familiares,

particionado em termos de:

tipicamente

Uma opo frequentemente adotada tratar os valores lgicos constantes

como operadores de aridade zero. Assim:

Alguns autores usam o til (~) ao invs de (); e alguns usam o (&) ou (
) 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 {

}.

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
, tambm conhecida como o seu conjunto
de frmulas, frmulas bem formadas ou fbfs, definida recursiva ou
indutivamente pelas seguintes regras:
1. Base. Qualquer elemento do conjunto alpha

frmula de

2. Passo (a). Se

uma frmula, ento

3. Passo (b). Se

frmulas.

), (

, uma frmula.

so frmulas, ento (

), e (

),
) so

4. Fechado. Nada mais uma frmula de

.
Aplicaes relacionadas dessas regras permitem a construo de frmulas

complexas. Por exemplo:

1. Pela regra 1,

uma frmula.

2. Pela regra 2,

uma frmula.

3. Pela regra 1,

uma frmula.

4. Pela regra 3, (

) uma frmula.

O conjunto zeta
um conjunto finito de regras de transformao que
so conhecidas como regras de inferncia do ponto de vista das aplicaes
lgicas.
O conjunto iota
um conjunto finito de pontos iniciais que so
chamados de axiomas quando eles recebem interpretaes lgicas.

Tabelas Verdade[editar | editar cdigo-fonte]

Seja
,

uma linguagem que contenha as proposies

e

O que podemos dizer sobre a proposio

? 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
e
? 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

e

assim:
P Q R
V V V
V V F

V F V
V F F
F V V
F V F
F F V
F F F
Cada linha da tabela (fora a primeira que contm as frmulas) representa
uma valorao.
Agora, o que dizer sobre frmulas moleculares, tais como

ou
? 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.
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
sub-frmulas: {

tem o seguinte conjunto de

,

2)
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

, sendo

o nmero de valores que o

sistema permite (sempre 2 no caso do CPC) e

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

, temos:
P
V
V
V
V
F

Q
V
V
F
F
V

R PQ (PQ) R ((PQ) R)
V
F
V
F
V

F V F
F F V
F F F
Para completar esta tabela precisamos definir os operadores lgicos. Ao fazlo, vamos aproveitar para explicar como interpret-los.
Negao[editar | editar cdigo-fonte]

A negao tem o valor inverso da frmula negada. A saber:

P P
V F
F V
Interpretaes: "No

", "No o caso de

", "A proposio '

' falsa".
Assim, em uma linguagem

na qual

significa "Scrates

mortal",
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
significa "Scrates mortal",
interpretada como "Scrates imortal". Por outro lado, em uma
linguagem

na qual

pode ser

significa "Joo bom jogador", a

proposio "Joo mau jogador" no a melhor interpretao para

(Joo poderia ser apenas um jogador mediano).
Pode-se adicionar indefinidamente o operador de negao:
P P P P
V F V
F
F V F
V

significa

falsa.

significa

falsa.

E assim por diante.

Repare que

equivalente a

, assim como

equivalente a

A negao mltipla traz alguns problemas de interpretao. Interpretando mais

uma vez

por "Scrates mortal", podemos perfeitamente

interpretar
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[editar | editar cdigo-fonte]

A conjuno entre duas frmulas s verdadeira quando ambas so

verdadeiras. A saber:
P
V
V
F
F
Interpretao: "
", "Tanto

Q
V
F
V
F

PQ
V
F
F
F

" pode ser interpretada como "

quanto

", "Ambas proposies '

e
'e'

' so verdadeiras" etc.

Assim, em uma linguagem

na qual

significa "Sou cidado

brasileiro" e
significa "Sou estudante de filosofia",
pode ser
interpretada como "Sou cidado brasileiro e estudante de filosofia"; o que s
verdade se

verdadeira e

Repare que a conjuno comutvel, ou seja,

a

verdadeira.
equivalente

, a saber:

P Q PQ QP
V V V
V
V F F
F
F V F
F
F 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

na qual

significa "Joo foi atropelado" e

significa "Joo sobreviveu ao
atropelamento", as sentenas "Joo foi atropelado e sobreviveu" e "Joo foi
atropelado, mas sobreviveu" podem ambas ser formalizadas assim:
Afinal, ambas as proposies afirmam os mesmos eventos na mesma
sequncia: o atropelamento e a sobrevivncia de Joo. A nica diferena entre
ambas que aquela que leva "mas" expressa que uma expectativa subjetiva
no foi satisfeita o que no importa para a lgica clssica.
Disjuno[editar | editar cdigo-fonte]

A disjuno entre duas frmulas s verdadeira quando ao menos uma delas

verdadeira. A saber:
P Q PQ
V V V
V F V
F V V
F F F
Repare que a disjuno tambm comutativa:
P
V
V
F
F
Interpretao: "

Q
V
F
V
F

QP
V
V
V
F

" pode ser interpretada como "

ou
", "Entre as proposies
verdadeira".
Assim, se

PQ
V
V
V
F

significa "Fulano estuda filosofia" e

"Fulano estuda matemtica",

forem verdadeiras.

significa

pode ser interpretada como "Fulano

estuda filosofia ou matemtica"; o que s falso se nem

nem

, ao menos uma

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 biimplicao combinada com a negao, como veremos mais adiante.
Implicao ou Condicional[editar | editar cdigo-fonte]

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 Q PQ
V V V
V F F
F V V
F F V
Repare que a implicao no comutativa:
P
V
V
F
F
Interpretao: "
ento

", "

Q
V
F
V
F

PQ
V
F
V
V

QP
V
V
F
V

" pode ser interpretada como "Se

implica

verdade, ento a proposio '

' inferimos '
condio suficiente de
Assim, se, em uma linguagem

", "Se a proposio '

'

' tambm verdade", "A partir de '

' ", "

satisfaz

", "

".
,

significa "O boto

vermelho foi apertado" e

significa "O lugar inteiro explode",
pode ser interpretada como "Se o boto vermelho foi apertado, ento o lugar
inteiro explode", mas se o boto vermelho for apertado (verdade de
e o lugar inteiro no explodir, este resultado falso (falsidade de

)
):

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,
(

no implica

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[editar | editar cdigo-fonte]

A bi-implicao, ou equivalncia (SE, SOMENTE SE), entre duas frmulas

verdadeira quando ambas so verdadeiras ou ambas so falsas.
P Q PQ
V V V
V F F
F V F
F F V
Repare que a bi-implicao comutativa:
P
V
V
F
F
Interpretao: "
somente se
e

Q
V
F
V
F

PQ
V
F
F
V

QP
V
F
F
V

" pode ser interpretada como "

", "

equivalente a

possuem o mesmo valor de verdade".

se e
", "

Assim, se
e

significa "O nmero natural divisvel por cinco"

significa "'O ltimo algarismo do nmero natural zero ou

cinco",
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[editar | editar cdigofonte]

Seja

, onde

so definidos como:

O conjunto
um conjunto finito de smbolos que grande o
suficiente para suprir as necessidades de uma dada discusso, por exemplo:

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. 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
particionado em:

Um sistema axiomtico descoberto por Jan Tukasiewicz formula um clculo

proposicional na linguagem a seguir. Os axiomas em
instncias de substituio de:

so todos

A regra de inferncia em
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[editar | editar cdigofonte]

Seja

, onde

so definidos a seguir:

O conjunto
um conjunto finito de smbolos suficiente para suprir a
necessidade de uma dada discusso, por exemplo:

O conjunto

consiste em:

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. O sistema particular apresentado aqui no possui pontos
iniciais, o que significa que sua interpretao para aplicaes lgicas deriva
seus teoremas a partir de um conjunto de axiomas vazio.
O conjunto de pontos iniciais vazio, ou seja,
O conjunto de regras de transformao,
, 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 (introduo da negao)
De (pq), (p q), infere-se p.
Eliminao da dupla negao