Operaes da Lgica Proposicional

Investigando a literatura sobre o assunto possvel inferir que existem muitas definies para a
palavra Lgica. Em todas as definies, faz se referncia ao Estudo das leis do pensamento ou
termos semelhantes. Para representar as mais variadas definies, observe se que define COPI
(1977, p 15): Lgica uma cincia do raciocnio. Em outras palavras, como o raciocnio se
estrutura e se fundamenta enquanto formao de uma rede semntica prpria.
Esta formao de redes semnticas, e suas mais variadas formas de apresentao, requerem um
conjunto de smbolos que convertem a expresso falada em smbolos anteriormente
sistematizados.
Para que esta converso ocorra, so necessrias algumas convenes simblicas que vm
expressar raciocnio que seriam expressos na linguagem falada. Uma parte destas convenes so
as chamadas Operaes da Lgica Proposicional.
Chama-se Lgica Proposicional por que est fundamentada em Proposies. A lgica Proposicional
pretende estudar as proposies declarativas simples, isto , proposies que so os elementos
bsicos de transmisso do conhecimento humano.
Pode-se entender Proposio como sendo todo conjunto de palavras ou smbolos que exprimem
um pensamento em sentido completo.( FILHO, 2002, p. 11). A combinao de proposies
retornam resultados verdadeiros ou falsos.
As operaes anteriormente citadas sero objetos de anlise a seguir.
1 Conjuno ( ) - E
Chama se de conjuno uma concluso lgica verdadeira quando as duas premissas so
verdadeiras. Nos demais casos, retornam se resultados falsos. Genericamente, chamar se o
proposies as letras p e q. Sendo assim, se p e q so proposies, p ^ q representa a conjuno
entre as duas proposies. Assim, tm se os seguintes resultados possveis:
Tabela 1 Tabela Verdade - Conjunes
p q p ^ q
V V V
V F F
F V F
F F F
Fonte: FILHO, 2002, p. 12
Exemplo de conjuno:
Maria foi uma loja e pediu para ver saias pretas e brancas. Neste exemplo, caso o e no termo
pretas e brancas tiver sentido conjuntivo, podemos inferir que ao chegar loja, Maria queria ver
saias que teriam em sua estampa as cores preta e branca frisadas ou dispostas de alguma outra
forma.
2 Disjuno ( ) - OU
A disjuno de duas proposies p e q retorna um valor lgico verdadeiro quando, pelo menos
uma das duas premissas, for verdadeira. Quando ambas so falsas, o valor lgico atribudo
disjuno ser falso.
Com isso, tem se a seguinte tabela verdade:
Tabela 2 Tabela Verdade - Disjunes
p q p q
V V V
V F V
F V V
F F F
Fonte: FILHO, 2002, p. 13
Exemplo de disjuno:
O Joaquim portugus ou brasileiro. Esta expresso pode ser entendida de duas maneiras: o
sentido, se for exclusivo, significa Joaquim tanto pode ser portugus como brasileiro, mas no
possui as duas nacionalidades. Caso contrrio, em se tratando do sentido inclusivo, Joaquim pode
ser portugus, brasileiro, ou ter as duas nacionalidades.
3 Disjuno Exclusiva ( v ) - OU
Neste caso, retorna se um valor lgico verdadeiro somente quando uma das duas verdadeira.
O fato de ambas ( p e q ) serem verdadeiras, o valor lgico da Disjuno Exclusiva retornar um
valor falso. A tabela verdade, neste caso, tem o seguinte padro:
Tabela 3 Tabela Verdade Disjunes Exclusivas
p q p q
V V F
V F V
F V V
F F F
Fonte: FILHO, 2002, p. 13
Exemplo de Disjuno Exclusiva:
Jos ou filho de Armando ou filho de Leandro. A disjuno exclusiva por que Jos no pode
ser filho de ambos simultaneamente. Caso seja filho de um, no o ser do outro.
4 Condicional () - Ento
A condicional retorna um valor lgico falso quando p verdadeiro e q for falso quando p e q esto
dispostos na seguinte ordem: p q (se p ento q). p o termo antecedente e q o consequante. O
simbolo chama se implicao. Para este caso, tem se a seguinte tabela verdade:
Tabela 4 Tabela Verdade Condicionais
p q p q
V V V
V F F
F V V
F F V
Fonte: FILHO, 2002, p. 22
5 Bicondicional ()
A bicondicional retorna um valor lgico verdadeiro quando p e q so verdadeiros ou quando p e q
forem falsos. Nos demais casos, tm se valores lgicos falsos. A seguinte tabela verdade, para
este caso, a seguinte:
Tabela 5 Tabela Verdade Bicondicionais
p q p q
V V V
V F F
F V F
F F V
Exemplo de Bicondicional:
O acar doce, se e somente se o Brasil est na Amrica do Sul. Neste caso, teremos um valor
lgico verdadeiro uma vez que a primeira proposio verdadeira e a segunda tambm
verdadeira. Em qualquer sentido que a expresso seja tratada, o valor lgico o mesmo.
6 Negao (~) ()
Chama se negao a proposio representada por no p que apresenta valor lgico verdadeiro
quando p falsa e valor lgico falso quando p verdadeira.