Ensino Superior

Lgica Matemtica e Computacional

1.2 Conceitos Preliminares

Amintas Paiva Afonso

Clculo Proposicional

Como primeira e indispensvel parte da Lgica Matemtica

temos o CLCULO PROPOSICIONAL ou CLCULO
SENTENCIAL ou ainda CLCULO DAS SENTENAS.

CONCEITO DE PROPOSIO
Sentenas declarativas afirmativas (expresso de uma
linguagem) da qual tenha sentido afirmar que seja verdadeira
ou que seja falsa.
.3<4
A lua quadrada.
. = 3,14
A neve branca. . 1 primo
Matemtica uma cincia. . Zero par
 Sentena e Proposio
A lgica formal pode representar as afirmaes que
fazemos em linguagem cotidiana para apresentar fatos
ou transmitir informaes. Uma proposio (ou
declarao) uma sentena que falsa ou verdadeira.
Considere as seguintes sentenas:
(a) Dez menor do que sete. uma proposio, j que falsa.

(b) Como est voc? No pode ser considerada falsa ou verdadeira,

no proposio.
No uma proposio. Ela no est
(c) Ela muito talentosa. especificada, no falsa nem verdadeira.
(d) Existe vida em outros planetas do universo. proposio.

No preciso sermos capazes de decidir qual das alternativas vlida.

Considerao inicial
A lgica analisa os argumentos em vista de sua validade,
no de sua veracidade.
Ex: Se todo homem dessa sala candidato engenheiro
e se todo candidato a engenheiro bonito
ento todo homem dessa sala bonito.
Ex:
Pedro um sujeito mais bonito que o Brad Pitt e o
Marcelo Anthony juntos.
O time das Pererecas Felizes vai ganhar o torneio de
Handball da Faculdade.
Essa frase falsa.
Proposio

Exemplo:
Foi detectado que alguns prefeitos no moram
nos municpios onde trabalham. O governo federal
criou ento o municpio de Pizzalndia e nele s
podem morar os prefeitos que no moram em
seus municpios.
Onde mora o prefeito de Pizzalndia?
Clculo Proposicional

TERMO (Palavra) Definio:

Definio de um objeto.

Exemplo:
Paula
Um filme de terror
Tringulo retngulo
PROPOSIO Definio

Todo o conjunto de termos ou smbolos

que exprimem um pensamento
de sentido completo.
Exemplo:
Todo homem mortal.
A Lua um satlite da Terra.
sen /2 = cos /2
PROPOSIO Definio

PROPOSIO

As PROPOSIES
transmitem pensamentos,
isto ,
afirmam fatos ou exprimem juzos
que formamos a
respeito de determinados entes.
PROPOSIO Definio

A linguagem NATURAL permite vrios tipos

de proposies:

DECLARATIVA: Meu carro azul.

INTERROGATIVA: Est frio?

EXCLAMATIVA: Que lindo!

IMPERATIVA: Cale a boca.

PROPOSIO Definio

CLCULO PROPOSICIONAL:

Permite apenas as
proposies
DECLARATIVAS.
Exerccio

Quais das frases a seguir so proposies

declarativas?
A lua feita de queijo verde.
Ele , certamente, um homem alto.
Dois um nmero primo.
O jogo vai acabar logo?
Os juros vo subir ano que vem.
Os juros vo descer ano que vem.
x2 4 = 0.
Exerccio

Quais das frases a seguir so proposies?

A lua feita de queijo verde.
Ele , certamente, um homem alto.
Dois um nmero primo.
O jogo vai acabar logo?
Os juros vo subir ano que vem.
Os juros vo descer ano que vem.
x2 4 = 0.
PRINCPIOS LGICOS FUNDAMENTAIS

A Lgica Matemtica adota como regras

fundamentais do pensamento os 2 princpios:

I - PRINCPIO (Axioma) DA NO CONTRADIO.

II - PRINCPIO (Axioma) DO TERCEIRO EXCLUDO.

PRINCPIOS LGICOS FUNDAMENTAIS

I - PRINCPIO (Axioma) DA NO CONTRADIO:

Uma proposio NO pode ser

FALSA e VERDADEIRA ao mesmo tempo.
O
O Brasil
Brasil pentacampeo
pentacampeo de
de futebol.
futebol. Verdade
Verdade (V)
(V)
O
O Brasil
Brasil possui
possui pena
pena de
de morte.
morte. Falso
Falso (F)
(F)
PRINCPIOS LGICOS FUNDAMENTAIS

II - PRINCPIO (Axioma) DO TERCEIRO EXCLUDO:

Toda proposio ou Verdadeira ou Falsa,

isto , verifica-se sempre um destes casos
e nunca um terceiro.

LGICA
LGICABIVALENTE
BIVALENTE
VALOR LGICO DE UMA PROPOSIO

O Valor Lgico de uma PROPOSIO :

VERDADE se esta for VERDADEIRA;

FALSIDADE se a PROPOSIO for FALSA.

VALOR LGICO DE UMA PROPOSIO

Assim, o que os princpios da no contradio

e o do terceiro excluido afirmam que:

Toda proposio tem um, e um s,

dos valores V, F.
Qual Valor Lgico (V ou F) das
proposies a seguir?
O nmero 17 primo. ( V )
Fortaleza a capital do Maranho. ( F )
TIRADENTES morreu afogado. ( F )
(3 + 5)2 = 32 + 52. ( F )
O valor archimediano de 22/7. ( V )
-1 < -7. ( F )
0,131313 uma dzima peridica simples. ( V )
As diagonais de um paralelogramo so iguais. ( F )
Todo polgono regular convexo inscritvel. ( V )
O hexaedro regular tem 8 arestas. ( F )
 Qual Valor Lgico (V ou F) das
proposies a seguir?
A expresso n2 n + 41 (nN) s produz nmeros primos. ( F )
Todo nmero divisvel por 5 termina por 5. ( F )
O produto de dois nmeros mpares um nmero mpar. ( V )
sen2 30 + sen2 60 = 2. ( F )
1 + 3 + 5 + + (2n 1)2 = n2. ( V )
As razes da equao x3 - 1 = 0 so todas reais. ( V )
O nmero 125 cubo perfeito. ( V )
0, 4 e -4 so razes da equao x3 - 16x = 0. ( V )
O cubo um poliedro regular. ( V )
tg /4 < tg /6. ( F )