Escolar Documentos
Profissional Documentos
Cultura Documentos
APOSTILA DE LGICA
# Conceitos iniciais
O conceito mais elementar no estudo da lgica o de Proposio. Proposio vem de
propor que significa submeter apreciao; requerer um juzo. Trata-se de uma sentena
declarativa algo que ser declarado por meio de termos, palavras ou smbolos e cujo contedo
poder ser considerado verdadeiro ou falso.
Ento, se eu afirmar a Terra maior que a Lua, estarei diante de uma proposio cujo
valor lgico verdadeiro.
Fica claro que quando falarmos em valor lgico estaremos nos referindo a um dos dois
possveis juzos que atribuiremos a uma proposio: verdadeiro (V) ou falso (F).
E se algum disser: Feliz ano novo!, ser que isso uma proposio verdadeira ou falsa?
Nenhuma, pois no se trata de uma sentena para a qual se possa atribuir um valor lgico.
Conclumos, pois, que...
... no sero estudadas. Somente aquelas primeiras sentenas declarativas que podem
ser imediatamente reconhecidas como verdadeiras ou falsas.
Normalmente, as proposies so representadas por letras minsculas (p, q, r, s, etc). So
outros exemplos de proposies:
p: Pedro mdico.
q: 5 > 8
r: Luza foi ao cinema ontem noite.
Na linguagem do raciocnio lgico, ao afirmarmos que verdade que Pedro mdico
(proposio p acima), representaremos isso apenas com: VL(p)=V, ou seja, o valor lgico de p
verdadeiro. No caso da proposio q, que falsa, diremos VL(q)=F. Haver alguma proposio
que possa, ao mesmo tempo, ser verdadeira e falsa? No! Jamais! E por que no? Porque o
Raciocnio Lgico, como um todo, est sedimentado sobre alguns princpios, muito fceis de
entender, e que tero que ser sempre obedecidos. So os seguintes:
Nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo. (Princpio da NoContradio);
Proposies podem ser ditas simples ou compostas. Sero proposies simples aquelas que
vm sozinhas, desacompanhadas de outras proposies. Nada mais fcil de ser entendido.
Exemplos:
Todavia, se duas (ou mais) proposies vm conectadas entre si, formando uma s
sentena, estaremos diante de uma proposio composta. Exemplos:
Nas sentenas acima, vimos em destaque os vrios tipos de conectivos ditos conectivos
lgicos que podero estar presentes em uma proposio composta. Conectivos Lgicos so
expresses que servem para unir duas ou mais proposies. Estudaremos cada um deles a seguir,
uma vez que de nosso interesse conhecer o valor lgico das proposies compostas.
Veremos que, para determinamos se uma proposio composta verdadeira ou falsa,
dependeremos de duas coisas: 1) do valor lgico das proposies componentes; e 2) do tipo de
conectivo que as une.
# Conectivo e: (conjuno)
Proposies compostas em que est presente o conectivo e so ditas CONJUNES.
Simbolicamente, esse conectivo pode ser representado por . Ento, se temos a sentena:
... poderemos represent-la apenas por: pq. onde: p = Marcos mdico e q = Maria
estudante.
Como se revela o valor lgico de uma proposio conjuntiva? Da seguinte forma: uma
conjuno s ser verdadeira, se ambas as proposies componentes forem tambm
verdadeiras.
Marcos mdico
p
V
Maria estudante
q
V
Se for verdade apenas que Marcos mdico, mas falso que Maria estudante, teremos:
Marcos mdico
p
V
Maria estudante
q
F
Por outro lado, se for verdadeiro que Maria estudante, e falso que Marcos mdico,
teremos:
Marcos mdico
p
F
Maria estudante
q
V
Maria estudante
q
F
Ora, as quatro situaes acima esgotam todas as possibilidades para uma conjuno. Fora
disso no h outras! Criamos, portanto, a tabela-verdade que representa uma conjuno, ou seja,
a tabela-verdade para uma proposio composta com a presena do conectivo e. Teremos:
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
preciso que a informao constante da terceira coluna (em destaque) fique guardada em
nossa memria: uma conjuno s ser verdadeira, quando ambas as partes que a compem
tambm forem verdadeiras. E falsa nos demais casos.
Uma maneira de assimilar bem essa informao seria pensarmos nas sentenas simples
como promessas de um pai a um filho: eu te darei uma bola E te darei uma bicicleta. Ora,
pergunte a qualquer criana! Ela vai entender que a promessa para os dois presentes. Caso o pai
no d nenhum presente, ou d apenas um deles, a promessa no ter sido cumprida. Ter sido
falsa! No entanto, a promessa ser verdadeira se as duas partes forem tambm verdadeiras!
Na hora de formar uma tabela-verdade para duas proposies componentes (p e q),
saberemos, de antemo, que essa tabela ter quatro linhas. Comearemos, ento, fazendo a
seguinte estrutura:
p
Da, a coluna da primeira proposio ter sempre a seguinte disposio: dois (V) vs
seguidos de dois (F) efes. Assim:
p
V
V
F
F
Enquanto a variao das letras (V e F) para a premissa p ocorre de duas em duas linhas,
para a premissa q diferente: vs (V) e efes (F) se alternando a cada linha, comeando com um
V. Assim:
p
V
V
F
F
q
V
F
V
F
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
Ou:
Te darei uma bola
p
V
Ou:
Te darei uma bola
p
F
Ou, finalmente:
p
V
V
F
F
q
V
F
V
F
pVq
V
V
V
F
q
V
F
V
F
pVq
F
V
V
F
Percebam, pois, que se algum disser que: Pedro ser rico condio suficiente para Maria
ser mdica, ento ns podemos reescrever essa sentena, usando o formato da condicional.
Teremos:
o Pedro ser rico condio suficiente para Maria ser mdica igual a:
o Se Pedro for rico, ento Maria mdica
Por outro lado, se ocorrer de algum dizer que: Maria ser mdica condio necessria
para que Pedro seja rico, tambm poderemos traduzir isso de outra forma:
o Maria ser mdica condio necessria para que Pedro seja rico igual a:
o Se Pedro for rico, ento Maria mdica
No podemos, pois esquecer disso:
o Uma condio suficiente gera um resultado necessrio.
Pois bem! Como ficar nossa tabela-verdade, no caso da proposio condicional?
Pensaremos aqui pela via de exceo: s ser falsa esta estrutura quando houver a condio
suficiente, mas o resultado necessrio no se confirmar. Ou seja, quando a primeira parte
for verdadeira, e a segunda for falsa. Nos demais casos, a condicional ser verdadeira.
A sentena condicional Se p, ento q ser representada por uma seta: pq.
Na proposio Se p, ento q, a proposio p denominada de antecedente, enquanto a
proposio q dita conseqente. Teremos:
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
q
V
F
V
F
pq
V
F
F
V
p
V
F
~p
F
V
~(p q) = ~p V ~q
Como fomos chegar essa concluso? Ora, por meio da comparao entre as tabelasverdade das duas proposies acima. Vejamos como foi isso. Primeiro, trabalhemos a tabelaverdade do ~(p q).
Tudo comea com aquele formato bsico, que j nosso conhecido:
p
V
V
F
F
q
V
F
V
F
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
Por fim, construiremos a coluna que a negativa desta terceira. Ora, j sabemos que com a
negativa, o que verdadeiro vira falso, e o que falso vira verdadeiro. Logo, teremos:
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
~(p q)
F
V
V
V
Guardemos, pois, essa ltima coluna (em destaque). Ela representa o resultado lgico da
estrutura ~(p q). Agora, construamos a tabela-verdade da estrutura ~p v ~q, e comparemos os
resultados. No incio, teremos:
p
V
V
F
F
q
V
F
V
F
Faremos agora as duas colunas das duas negativas, de p e de q. Para isso, conforme j
sabemos, quem for V virar F, e vice-versa. Teremos:
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
Agora, passemos coluna final: ~p v ~q. Aqui nos lembraremos de como funciona uma
disjuno. A disjuno a estrutura do ou. Para ser verdadeira basta que uma das sentenas
tambm o seja. Da, teremos:
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
~p V ~q
F
V
V
V
Finalmente, comparemos a coluna resultado (em destaque) desta estrutura (~p ~q) com
aquela que estava guardada da estrutura ~(p q). Teremos:
~(p q)
F
V
V
V
~p V ~q
F
V
V
V
~(p V q) = ~p ~q
p
V
V
F
F
q
V
F
V
F
p
V
V
F
F
q
V
F
V
F
pVq
V
V
V
F
p
V
V
F
F
q
V
F
V
F
pVq
V
V
V
F
~(p V q)
F
F
F
V
Guardemos essa coluna resultado para o final. E passemos segunda parte da anlise: a
estrutura ~p ~q. Teremos, a princpio, o seguinte:
p
V
V
F
F
q
V
F
V
F
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~q ~p ~q
F
F
V
F
F
F
V
V
Concluindo, comparemos a coluna resultado (em destaque) desta estrutura (~p ~q) com
aquela que estava guardada da estrutura ~(p q). Teremos:
~(p V q)
F
F
F
V
~p ~q
F
F
F
V
~(p q) = p ~q
Na sequncia, apresento duas tabelas que trazem um resumo das relaes vistas at o
momento. Vejamos:
Estrutura
verdade quando
falso quando
pq
pVq
p e q, ambos, so falsos
pq
p verdade e q falso
pq
~p
p falso
p verdade
Lgica
~p ou ~q
Negativa de (p ou q)
~p e ~q
Negativa de (p q)
p e ~q
Negativa de (pq)
# Tabelas-verdade
Trataremos agora um pouco mais a respeito de TABELA-VERDADE. Trata-se de uma tabela
mediante a qual so analisados os valores lgicos de proposies compostas.
J vimos que uma Tabela-Verdade que contm duas proposies apresentar exatamente
um nmero de quatro linhas! Mas e se estivermos analisando uma proposio composta com trs
ou mais proposies componentes? Como ficaria a tabela-verdade neste caso? Generalizando para
qualquer caso, teremos que o nmero de linhas de uma tabela-verdade ser dado por:
Tabelas-verdade para p e q:
Trabalhando com duas proposies componentes, a estrutura inicial da tabela-verdade
ser sempre aquela que j aprendemos. Qual seja:
p
V
V
F
F
q
V
F
V
F
E a prxima coluna (ou prximas colunas) da tabela-verdade depender dos conectivos que
estaro presentes na proposio composta.
J sabemos construir, pelo menos, cinco tabelas-verdade de proposies compostas! A
tabela-verdade da conjuno, da disjuno, da disjuno exclusiva, da condicional e da
bicondicional. Com este conhecimento prvio, j estamos aptos a construir as tabelas-verdade de
qualquer outra proposio formada por duas proposies componentes (p e q). Designaremos tal
proposio composta da seguinte forma: P(p, q).
Suponhamos, pois, que estamos diante da seguinte proposio composta: P(p, q)=~(p v
~q) e desejamos construir a sua tabela-verdade. Como seria? O incio da tabela , conforme
sabemos, sempre o mesmo. Teremos:
p
V
V
F
F
q
V
F
V
F
Agora olhemos para a proposio que estamos trabalhando [~(p v ~q)] e comparemos o
que j temos na tabela acima com o que ainda precisamos encontrar. J temos o ~q? Ainda no!
Ento, nosso prximo passo: construir a coluna da negao de q. Teremos:
p
V
V
F
F
q
V
F
V
F
~q
F
V
F
V
p
V
V
F
F
q
V
F
V
F
~q p v ~q
F
V
V
V
F
F
V
V
Por fim, concluindo a anlise desta proposio composta, resta-nos construir a coluna que
a prpria proposio: ~(p v ~q). Ou seja, faremos a negao da disjuno acima. Para isso, quem
for VERDADEIRO vira FALSO e vice-versa. Teremos:
~q p v ~q
~( p v ~q)
V
V
F
F
V
F
V
F
F
V
F
V
V
V
F
V
F
F
V
F
este, portanto, o resultado final da tabela-verdade para a proposio ~(p v ~q). Uma coisa
muito importante que deve ser dita neste momento que, na hora de construirmos a tabelaverdade de uma proposio composta qualquer, teremos que seguir uma certa ordem de
precedncia dos conectivos. Ou seja, os nossos passos tero que obedecer a uma seqncia.
Comearemos sempre trabalhando com o que houver dentro dos parnteses. S depois,
passaremos ao que houver fora deles. Em ambos os casos, sempre obedecendo seguinte ordem:
1. Faremos as negaes (~);
2. Faremos as conjunes ou disjunes, na ordem em que aparecerem;
3. Faremos a condicional;
4. Faremos o bicondicional.
Para fixar nossos conhecimentos vamos construir a tabela-verdade da seguinte proposio
composta: P(p,q) = (p~q) V (q~p).
SOLUO: Observamos que h dois parnteses. Comearemos, pois, a trabalhar o primeiro deles,
isoladamente. Obedeceremos ordem de precedncia dos conectivos:
1 passo: Negao de q
p
V
V
F
F
q
V
F
V
F
~q
F
V
F
V
2 passo: Conjuno
p
V
q
V
~q
F
p~q
F
V
F
F
F
V
F
V
F
V
V
F
F
3 passo: Negao de p
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
4 passo: Conjuno
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
q~p
F
F
V
F
5 passo: uma vez trabalhados os dois parnteses, faremos a disjuno que os une.
p~q
F
V
F
F
q~p
F
F
V
F
(p~q)V(q~p)
F
V
V
F
Se quisssemos, poderamos ter feito tudo em uma nica tabela maior, da seguinte forma:
p
V
V
F
F
q
V
F
V
F
~q
F
V
F
V
p~q
F
V
F
F
~p
F
F
V
V
q~p
F
F
V
F
(p~q)V(q~p)
F
V
V
F
simples (p, q e r)? Como que se faz essa tabela-verdade? A primeira coisa definir o nmero de
linhas que esta tabela-verdade ter. Conforme j aprendemos, este clculo ser dado por N
linhas = 2
N de proposies.
proposies simples. Para duas proposies, a tabela-verdade se inicia sempre do mesmo jeito. O
mesmo ocorrer para uma tabela-verdade de trs proposies. Ter sempre o mesmo incio. E ser
o seguinte:
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Saber construir esta tabela acima obrigao. Ela corresponde estrutura inicial de uma
tabela-verdade para trs proposies simples.
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Da, j sabemos que existe uma ordem de precedncia a ser observada, de modo que
trabalharemos logo os parnteses da proposio acima. Comeando pelo primeiro deles, faremos
os seguintes passos:
1 passo: Negao de q
~q
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
V
V
F
F
V
V
~q
p ~q
V
V
V
V
V
F
V
F
V
F
F
V
F
F
V
V
F
F
F
F
F
V
V
F
F
F
V
F
V
F
V
F
F
V
V
V
F
F
F
F
3 passo: Negao de r
~q
p ~q
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
F
F
F
V
F
V
F
V
F
V
~q
p ~q
~r
q V ~r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
F
F
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
V
~q
p ~q
~r
q V ~r
(p ~q)( q V ~r)
V
V
V
V
V
F
V
F
V
F
F
V
F
F
V
F
V
F
V
V
F
V
V
F
V
F
F
F
F
F
V
V
F
F
F
V
F
V
F
V
F
F
V
V
V
F
F
F
F
V
F
V
F
V
V
V
V
F
V
V
V
V
V
V
Pronto! Mais uma etapa concluda. Estamos aptos a construir tabelas-verdade para
proposies compostas de duas ou trs proposies componentes.
Chegou o momento de passarmos a conhecer trs outros conceitos: Tautologia,
Contradio e Contingncia.
Tautologia
Uma proposio composta formada por duas ou mais proposies p, q, r, ... ser dita uma
Tautologia se ela for sempre verdadeira, independentemente dos valores lgicos das
proposies p, q, r, ... que a compem. Em palavras mais simples: para saber se uma proposio
composta uma Tautologia, construiremos a sua tabela-verdade! Da, se a ltima coluna da
tabela-verdade s apresentar verdadeiro (e nenhum falso), ento estaremos diante de uma
Tautologia. S isso!
Exemplo: A proposio (p q) (p V q) uma tautologia, pois sempre verdadeira,
independentemente dos valores lgicos de p e de q, como se pode observar na tabela-verdade.
p
V
V
F
F
q
V
F
V
F
p q
V
F
F
F
pvq
V
V
V
F
(pq)(pVq)
V
V
V
V
Contradio
Uma proposio composta formada por duas ou mais proposies p, q, r, ... ser dita uma
contradio se ela for sempre falsa, independentemente dos valores lgicos das proposies p,
q,r ... que a compem. Ou seja, construindo a tabela-verdade de uma proposio composta, se
todos os resultados da ltima coluna forem FALSOS, ento estaremos diante de uma
contradio.
Exemplo: A proposio p ~p uma contradio, pois sempre falsa independentemente do
valor lgico de p, como possvel observar na tabela-verdade abaixo:
p
~p
p ~p
V
F
F
V
F
F
Contingncia
Uma proposio composta ser dita uma contingncia sempre que no for uma tautologia
ou uma contradio. Somente isso! Voc pegar a proposio composta e construir a sua tabelaverdade. Se voc verificar que aquela proposio nem uma tautologia (s resultados V), e nem
uma contradio (s resultados F), ento, pela via de exceo, ser dita uma contingncia!
Exemplo: A proposio p (pq) uma contingncia. Por que essa proposio uma
contingncia? Porque nem uma tautologia e nem uma contradio. S por isso! Vejamos sua
tabela-verdade a seguir.
p
p q
p (pq)
V
V
F
F
V
F
V
F
V
F
F
F
V
F
V
V