Na lgica matemtica, as proposies s podem

assumir esses dois valores, nunca porm ambos.

Designaremos as proposies pelas letras p, q, r, ...
!ara uma dada proposio p, denotaremos por
'p o valor lgico de p.
Lgica das Proposies
Uma proposio uma sentena declarativa
qual podemos associar um valor lgico
;erdadeiro ' ou 1aIso F.
cc2
Slide 1
cc2 62
clarice, 1/21/2003
emplos de proposies:
q Barcelona a capital da
Espanha
r 3 + 4 > 6
s 8 2 = 5
p Frana um pas

cc1
Slide 2
cc1 62
clarice, 1/21/2003
emplos de proposies:
s Barcelona a capital da Espanha
q 3 + 4 > 6
r 8 2 = 5
p Frana um pas

'p = '
's = F
'q = '
'r = F
o podemos atribuir um
valor lgico
a nenhuma destas sentenas!
No so exemplos de proposies
W nde que voc vai?
W Bom dia!
W eia este texto.
0gao
onsiste em introduzir a palavra no"
na proposio dada ou prefixando-se a proposio
dada por
no ;erdade que" ou, " 1aIso que,
entre outras expresses equivalentes.
ExempIos
a negao de "rasil um pas "rasil 3o
um pas.
b "o verdade que 3 + 4 > 6 a negao de
"3 + 4 > 6.
a qual lida como 3o p" e sendo interpretada como
segue
se p verdadeira, ento p falsa.
se p falsa, ento p verdadeira.
0gao
Se p denota uma proposio, ento a negao
de p ser denotada por
p ou =p
,
egao
Uma tabeIa-;erdade uma tabela que descreve os
valores lgicos de uma proposio em termos de todos
os possveis valores lgicos das subproposies que a
compem e dos conetivos lgicos usados nesta
composio.
Segue abaixo a tabela-verdade da negao de uma
dada proposio p.
Dadas duas proposies p e q ,
chama-se .onjuno de p e q
a proposio composta denotada por
p q ,
a qual lida "p e q,
e que s verdadeira quando p e q so
simuItaneamente ;erdadeiras.
o3:3o
emplos:
b FaIsa:
i3/ows um sistema operacional e ava um editor de
textos.
d FaIsa:
i3/ows um editor de textos e icrosoft Offic0 Exc0l
uma linguagem de programao.
. FaIsa:
i3/ows uma planilha eletrnica e ava uma
linguagem de programao.
a 'erdadeira:
i3/ows um sistema operacional e ava uma
linguagem de programao.
Segue-se abaixo ento, a tabela-verdade da conjuno.
Dadas duas proposies p e q chama-se
/is:3o de p e q
a proposio composta denotada por
p q
a qual lida "p o: q ,
e que verdadeira quando peIo menos uma
das proposies "p ou "q so verdadeiras.
is:3o
emplos:
b 'erdadeira:
i3/ows um sistema operacional ou ava um editor de
textos.
d FaIsa:
i3/ows um editor de textos ou icrosoft Offic0 Exc0l
uma linguagem de programao.
. 'erdadeira:
i3/ows uma planilha eletrnica ou ava uma
linguagem de programao.
a 'erdadeira:
i3/ows um sistema operacional ou ava uma
linguagem de programao.
%abela-verdade disjuno
Segue-se abaixo ento, a tabela-verdade da
disjuno.
p q
uitas proposies, especialmente em matemtica,
so da forma
"s0 p, 03to q".
%ais proposies so chamadas
proposi0s co3/icio3ais e
so designadas por
o3/icio3al
Esta relao estabelece que, partindo-se de
uma premissa (ou hiptese) verdadeira
ou seja, p verdadeira,
obrigatoriamente deve-se chegar a uma
concluso (ou tese) verdadeira
ou seja, q verdadeira para que a proposio
composta
p q
seja verdadeira.
o3/icio3al
o3/icio3al
ontudo, partindo-se de uma premissa falsa
ou seja, p falsa,
qualquer concluso pode ser considerada.
ou seja, q pode ser verdadeira ou falsa
que pode acontecer partir-se de
uma premissa ;erdadeira
ou seja, p verdadeira
e querer chegar a uma .on.Iuso q 1aIsa.
b FaIsa:
Se !aris est na Frana, ento 2 + 2 = 5.
a 'erdadeira:
Se !aris est na Frana, ento 2 + 2 = 4.
emplos:
!aris
!aris
(a proposio condicional do item (b) falsa, visto que partindo-se
de uma premissa verdadeira, deve-se obrigatoriamente chegar a
uma concluso verdadeira)
d 'erdadeira:
Se !aris est na Espanha, ento 2 + 2 = 5.
. 'erdadeira:
Se !aris est na Espanha, ento 2 + 2 = 4.
emplos:
!aris
!aris
(as proposies condicionais nos itens (c) e (d) so verdadeiras,
pois, partindo-se de uma premissa falsa, pode-se chegar a
qualquer concluso, uma vez que o que suposto nunca ser
verificado de fato).
%abela-verdade condicional
Segue-se abaixo ento, a tabela-verdade da
condicional.
proposio bi.ondi.ionaI envolvendo duas
proposies p e q , denotada por p q
a qual lida " p s0 0 som03t0 s0 q ,
um condicional nos dois sentidos, ou seja,
considera simultaneamente o
sentido de "ida a proposio p q ) e
o sentido de "volta a proposio q p .
ssim, teremos que uma proposio da forma
p q somente ser verdadeira quando
p e q so ambas verdadeiras ou ambas falsas.
ico3/icio3al
b FaIsa:
!aris est na Frana se, e somente se, 2 + 2 = 5.
(considerando-se como premissa "Paris est na Frana, sendo
esta verdadeira, deve-se obrigatoriamente chegar a uma concluso
verdadeira, o que no ocorre sendo a concluso "2 + 2 = 5)
a 'erdadeira:
!aris est na Frana se, e somente se, 2 + 2 = 4.
emplos:
!aris
!aris
. FaIsa:
!aris est na Espanha se, e somente se, 2 + 2 = 4.
emplo:
!aris
(considerando-se como premissa "2 + 2 = 4,
sendo esta verdadeira, deve-se obrigatoriamente chegar
a uma concluso verdadeira, o que no ocorre sendo
a concluso "Paris est na spanha)
d ;erdadeira:
!aris est na Espanha se, e somente se, 2 + 2 = 5.
emplo
(considerando-se qualquer uma das duas
proposies como premissa, sendo ambas falsas,
poder-se-ia chegar a qualquer concluso em relao
outra proposio, pois qualquer uma das premissas
sendo falsas, nunca ocorrero de fato.)
!aris
%abela-verdade bicondicional
Segue-se abaixo ento, a tabela-verdade do
bicondicional.