Lgica Matemtica

Genilson Gomes da Silva

1 Proposio
Denio 1.1 Chama-se proposio todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo, sendo ele verdadeiro ou falso.
Por exemplo, so proposies as trs armaes seguintes:

(a): O nmero 17 primo.

(b): Fortaleza a capital do Maranho.
(c): Todo nmero primo maior do que 2 mpar.

Observao 1.1 Uma Proposio P verdadeira se j um axioma (uma armao de

sentido verdadeiro sem a necessidade de uma demonstrao) da teoria ou ento pode ser
reduzida (ou provada) a partir dos axiomas da teoria.

1.1 Princpios da Lgica

A Lgica Matemtica repousa sobre dois princpios fundamentais que permite todo seu desenvolvimento posterior, e que do validade a todos os atos do pensamento e do raciocnio.
So eles:
1. Princpio da no contradio: Uma proposio no pode ser verdadeira e falsa
ao mesmo tempo.
2. Princpio do terceiro excludo: Toda proposio ou verdadeira ou falsa,
isto , verica-se sempre um destes casos e nunca um terceiro.

1.2 Proposies Simples e Proposies Compostas

O primeiro passo na construo de um linguagem simblica, mais adequada formulao
dos conseitos da Lgica, a apresentao do que chmamos proposio simples.

Denio 1.2 Chama-se proposio simples aquela que no contm nenhuma outra
proposio como parte integrante de si mesma.

As proposies simples so em geral designadas pelas letras latinas minsculas p, q, r, s, . . .,

chamadas letras proposicionais.
So exemplos de proposio simples:

p : A lua um satlite da terra.

q : Pedro estudante.
r : Todos os homens so mortais.
s : O nmero 25 quadrado perfeito.

Denio 1.3 Chama-se proposio composta aquela formada pela combinao de

duas ou mais proposies.

Em geral designamos proposies compostas por letra latinas maisculas P, Q, R, S, . . .,

que tambm chamamos de letras proposicionais.
So exemplos de proposio composta:

P : Se pedro estudante, ento feliz.

Q : Carlos professor e Pedro estudante.
R : Mrio foi ao cinema ou Marcelo cou em casa.

1.3 Conectivos
Podemos perceber nos exemplos anteriores, que as proposies compostas P , Q e R, so
combinaes de proposies simples separadas por conectivos.

Denio 1.4 Chamam-se conectivos palavras que se usam para formar novas proposies a partir de outras.

A Lgica dispes de cinco conectivos: e, ou, no, se . . . ento . . . e . . . se e

somente se . . .
Vejamos alguns exemplos:

P : Carlos professor e Pedro estudante.

Q : Mrio foi ao cinema ou Marcelo cou em casa.
R : No est chovendo.
S : Se pedro estudante, ento feliz.
T : Um tringulo ABC retngulo em B se e somente se AC 2 = AB 2 + BC 2 .

1.4 Tabela-Verdade
Alm de proposies a Lgica dispe de uma funo chamada Valor Lgico que nos
permite associar a cada proposio simples um de dois valores lgicos.
Segundo o Princpio do terceiro excluido, toda proposio simples p verdadeira
ou falsa, isto , tem valor lgico V (vedadeiro) ou valor lgico F (falsidade).

p
V
F
Porm, se a proposio for composta seu valor lgico depende unicamente dos valores
lgicos das proposies simples componentes, desta forma para que se possa determinar o
valor lgico de uma proposio composta dada, recorre-se quase sempre a um dispositivo
denominado tabela-verdade.
Para representar o valor lgico de uma dada proposio p, usa-se a seguinte notao:
V(p).
Vejamos os seguintes exemplo:

p: Fortaleza a capital do Maranho.

q : O nmero 17 primo.
Temos:
V(p) = F,

V(q ) = V

2 Operaes Lgicas sobre Proposies

2.1 Negao ()
Denio 2.1 Se p uma proposio, assim a proposio representada por p a negao de p, cujo valor lgico vedade (V) quando p falsa e a falsidade (F) quando p
verdadeira.

Vejamos a tabela-verdade da negao:

p
V
F

p
F
V

2.2 Conjuno ()
Denio 2.2 Seja p e q proposies, assim a proposio representada por pq (que l-se:
p e q ) a conjuno de p e q , cujo valor lgico vedade (V) quando p e q so ambas
verdadeiras e a falsidade (F) nos demais casos.
Vejamos a tabela-verdade da conjuno:

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

2.3 Disjuno ()
Denio 2.3 Seja p e q proposies, assim a proposio representada por pq (que l-se:
p ou q ) a disjuno de p e q , cujo valor lgico vedade (V) quando pelo menos uma

das proposies p e q verdadeira e a falsidade (F) as proposies p e q so ambas falsas.

Vejamos a tabela-verdade da disjuno:

p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

2.4 Disjuno Exclusiva ( )

A palavra ou pode ter dois signicados, por exemplo:
Vejamos as seguintes proposies compostas:

P : Sou homem ou estudo matemtica.

Q : Joo cearense ou pernambucano.
Na proposio P temos que pelo menos um das proposies simples verdadeira, podendo ser ambas verdadeiras. Neste caso diz-se que este ou inclusivo (). Mas na
proposio Q, temos que as proposies simples no podem se ambas verdadeiras, pois no
possvel ocorrer Joo cearense e pernambucano. Neste caso o ou exclusivo, e
representado por

Denio 2.4 Seja p e q proposies, assim a proposio representada por p q (que

l-se: p ou q  ou p ou q , mas no ambas) a disjuno exclusiva de p e q , cujo
valor lgico vedade (V) somente quando p verdadeira ou q verdadeiras, mas no quando
ambas so verdadeiras e a falsidade (F) quando p e q so ambas verdadeiras ou ambas
falsas.
Vejamos a tabela-verdade da disjuno exclusiva:

p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

2.5 Condicional ()
Denio 2.5 Seja p e q proposies, assim a proposio representada por p q (que
l-se: se p ento q  a proposio condicional, cujo valor lgico falsidade (F) no
caso em que p verdadeira e q falsa, e a verdade (V) nos demais casos.

Temos que a proposio condicional p q tem os seguintes signicados:

(i) p condio suciente para q .
(ii) q condio necessria para p.

Observao 2.1 O smbolo chamado smbolo de implicao.

Vejamos a tabela-verdade da condicional:

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

2.6 Bicondicional ()
Denio 2.6 Seja p e q proposies, assim a proposio representada por p q (que
l-se: p se e somente se q  a proposio bicondicional, cujo valor lgico a verdade

(V) no caso em que p e q so ambas verdadeira ou ambas falsas, e a falsidade (F) nos
demais casos.
Temos que a proposio bicondicional p q tem os seguintes signicados:
(i) p condio necessria e suciente para q .
(ii) q condio necessria e suciente para p.
Vejamos a tabela-verdade da bicondicional:

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

3 Tautologia, Contradio
3.1 Tautologia
Denio 3.1 Chama-se tautologia toda proposio composta cuja a ltima coluna da

sua tabela-verdade encerra somente a letra V (verdade).

Exemplo 3.1 A proposio (p p) (principio da no contradio) tautolgica, conforme se v pela sua tabela-verdade:
p
V
F

p
F
V

p p
F
F

(p p)
V
V

Portanto, dizer que uma proposio n pode ser simultneamente verdadeira e falsa
veradeiro.

3.2 Contradio
Denio 3.2 Chama-se contradio toda proposio composta cuja a ltima coluna da

sua tabela-verdade encerra somente a letra F (falsidade).

Exemplo 3.2 A proposio p p uma contradio, conforme se v pela sua

tabela-verdade:

p
V
F

p
F
V

pp
F
F

Portanto, dizer que uma proposio pode ser simultneamente verdadeira e falsa falso.

4 Implicao Lgica
Denio 4.1 Diz-se que uma proposio composta P implica uma proposio Q, se Q
verdadeira (V) toda vez que P verdadeira (V).
Em outras palavras, dizer que uma proposio P implica uma proposio Q, signica
que para os valores verdadeiros (V) de P no se pode ter valores falsos (F) em Q.
Notao: P Q
A relaes de implicao possui as seguintes propriedades:
Reexiva: P P
Transitiva: Se P Q e Q R ento P R

Teorema 4.1 Dada uma proposio P e uma proposio Q diz-se que P inplica Q, ou
seja, P Q se e somente se a condicional P Q tautolgica.

Demonstrao:

Se P implica Q, ento os respectivos valores lgicos de P e Q no podem ser simultaneamente V e F , e por conseguinte a ltima coluna da tabela-verdade da condicional
encerra somente a letra V , da a condicional tautolgica.
Reciprocamente, se a condicional tautolgica, isto , se a ltima coluna da sua tabelaverdade encerra somente a letra V , ento no ocorre que os valores lgicos simultneos das
proposies P e Q sejam respectivamente V e F e por conseguinte a primeira proposio
implica a segunda.
Portanto, a toda implicao lgica corresponde uma condicional tautolgica, e viceversa.

5 Equivalncia Lgica
Denio 5.1 Diz-se que uma proposio P equivalente a uma proposio Q se, suas
tabelas-verdades forem idnticas.
Notao: P Q
A relao de equivalncia possui as seguintes propriedades:
Reexiva: P P
Simtrica: Se P Q, ento Q P
Transitiva: Se P Q e Q R ento P R

Teorema 5.1 A proposio P equivalente proposio Q, isto , P Q se e somente

se a bicondicional P Q tautolgica.

Demonstrao:

Seja P e Q proposio equivalentes, ento tm tabelas verdades idnticas, desta forma

o valor lgico da bicondicional sempre verdade (V), logo tautolgica.
Reciprocamente, se a bicondicional dada tautolgica, ento tem-se que a ltima coluna
da tabela-verdade encerra somente em verdade (V) desta forma temos que os respectivos
valores lgicos de P e Q so ambos verdadeiros (V) ou ambos falsos (F), logo estas duas
proposies so equivalentes.
Portanto, a toda equivalncia lgica corresponde uma bicondicional tautolgica, e viceversa.