Professional Documents
Culture Documents
AULA 02
Olá turma,
Resolução:
p: Ana é artista
q: Carlos é carioca
r: Jorge é juiz
t: Breno é bonito
Fácil, não?!
2) Dadas as preposições p: João é pobre e q: Laura fala inglês, traduzir para a linguagem
corrente as seguintes proposições:
a) ~p → q
b) ~~p
João é pobre
c) ~p ^ q → p
d) p v ~q
e) q → p
f) p v q
g) p → ~q
3) Sejam as proposições p: Carlos é rico e q: Carlos é alto e r: Carlos fala alemão. Traduzir
para a linguagem simbólica as seguintes proposições:
Resolução:
p: Carlos é rico
q: Carlos é alto
p^r
Dizer que “Carlos é pobre” é negar a sua condição de rico, ou melhor, dizer que
“Cláudio não é rico”. O mesmo entendimento vale para sua estatura. Assim,
escrevemos:
~p v ~q
r^q
~q v p ^ r
p v ~p ^ r
p v q ^ ~r
p ^ q v ~r
Aqui, note que a afirmação é “Carlos é rico mas não fala alemão”. Escrevendo
em linguagem simbólica:
p ^ ~r
Agora, dizer que essa afirmação é falsa, é dar falsidade a toda a expressão
simbólica, assim:
~(p ^ ~r)
i) É falso que Carlos é alto ou fala alemão mas que não é rico
~(q v r ^ ~p)
Essa 3ª questão só teve algumas observações para sua resolução, mas nada de muito
difícil de entender, não é verdade?!
Lógica Matemática para concursos – Dudu cearense
Vamos ao que interessa agora! Antes, é imperativo notar que toda e qualquer proposição
deve ter um valor lógico, verdade ou falsidade. Se uma proposição é verdadeira, seu valor lógico
é a verdade. Caso contrário, o valor lógico será falsidade. Nada de difícil então!
p: Ana é artista
q: Carlos é carioca
Se sabemos que Ana não é artista e Carlos é carioca, tem-se o seguinte: a proposição p:
Ana não é artista é falsa; e a proposição q: Carlos é carioca é verdadeira. Conclui-se que a
proposição “p” é verdadeira, e “q” é falsidade.
Falou-se, na aula passada, dos operadores lógicos. Os operadores lógicos são os que
ditam qual operação deverá ser realizada entre as proposições. Vamos colocá-los aqui novamente:
1) ~: negação
Para entender melhor as operações lógicas vamos estudá-las uma-a-uma. Para isso,
construiremos as propaladas tabelas-verdade, para uma visualização mais didática, muito usadas
no ensino dessa disciplina.
NEGAÇÃO (~)
A primeira operação que veremos será a negação (~). Montando sua tabela-verdade:
p ~p
V F
F V
Lógica Matemática para concursos – Dudu cearense
Vendo a tabela, dizemos que, se p: Ana é artista, a negação de “p” é ~p: Ana não é artista.
Só admitimos a verdade ou falsidade de uma preposição. Nunca poderemos dizer que uma
proposição será verdade e falsidade ao mesmo tempo. Não poderíamos dizer que “Ana é artista” e
“Ana não é artista” e admitir isso como verdade. Não há nada mais coerente do que esse princípio
basilar da lógica matemática, conhecido como princípio da não contradição.
Igualmente, devemos ter uma única entre duas respostas possíveis: a verdade ou a
falsidade de uma proposição. Do exemplo anterior, ou “Ana é artista”, ou “Ana não é artista”. Na
linguagem simbólica: ou “p” ou “~p”. Esse é o princípio do terceiro excluído, também
importantíssimo dentro da lógica matemática.
CONJUNÇÃO (^)
p q p^q
V V V
V F F
F V F
F F F
Por essa tabela-verdade, será verdadeiro afirmar que “Ana é artista e Cláudio é carioca”
(1ª linha). Do contrário, dizer que “Ana não é artista e Cláudio é carioca” (3ª linha) é uma falsidade.
Se observarmos, na conjunção, basta que apenas uma proposição tenha valor lógico
falso para ser falsidade a conjunção p ^ q. Isso acontece nas linhas 1, 2 e 3. É esse o aspecto
mais importante a ser esclarecido para a conjunção de duas proposições.
DISJUNÇÃO (v)
p q pvq
V V V
V F V
F V V
F F F
Lógica Matemática para concursos – Dudu cearense
Segundo esta tabela-verdade, será verdadeiro afirmar que “Ana é artista e Cláudio é
carioca” (1ª linha), como na conjunção p ^ q. Agora, dizer que “Ana não é artista e Cláudio é
carioca” (3ª linha) é uma verdade.
Veja: na disjunção, somente teremos p v q falsidade se “p” e “q” forem falsas. Isso
acontece somente na linha 4. É esse o aspecto mais importante a ser esclarecido na disjunção de
duas proposições.
CONDICIONAL (→)
p q p→q
V V V
V F F
F V V
F F V
Vendo a tabela-verdade da condicional, será verdadeiro afirmar que “se Ana é artista,
então Cláudio é carioca” (1ª linha). Agora, dizer que “se Ana é artista, então Cláudio não é carioca”
(2ª linha) é uma falsidade.
Aliás, foi artifício da prova de ACE/TCU-2002, onde foi colocada, entre outras, a seguinte
proposição:
BICONDICIONAL (↔)
p q p↔q
V V V
V F F
F V F
F F V
É uma operação cobrada com menos frequência em provas de concursos, como já foi dito
na aula passada. Mas não resta nada ficar sempre atento à Bicondicional como medida de
segurança, pois no AFC/AGU-2003 foi dado o seguinte enunciado:
Fique esperto! Existem outras formas de se expressar a Bicondicional. Pode ser que
venha da seguinte maneira:
P q p↔q
V V F
V F V
F V V
F F F
Lógica Matemática para concursos – Dudu cearense
Ademais, se você estiver atendo na leitura deste material, observou neste exato momento
que a tabela-verdade da disjunção exclusiva é a negação da tabela-verdade da bicondicional.
Dê uma olhada rápida nas duas tabelas para tirar sua dúvida e volte para continuar a leitura do
texto!
Êta, pessoal, um pouco longo o texto, não?! Mas esse são os conceitos mais importantes
para o entendimento da lógica matemática. Aos poucos, vamos destrinchando essa matéria e
descobriremos, não tarde, como era tão fácil resolver questões de lógica, e só você não sabia!
Será que não sabia mesmo...?!
Para finalizar, deixarei algumas questões da aula passada (na próxima página) para você
resolver e ir se familiarizando com todo o processo de entendimento e resolução das questões.
Vou lá,
Dudu cearense.
Lógica Matemática para concursos – Dudu cearense
Exercícios
a) p ^ q b) q v t c) q → p d) (~p ^ q) v q
a) ~p → q
b) (~p ^ q) → p
c) p v ~q
d) (p v q) ^ (p → q)
e) (p ↔ ~q) v p
3) Sejam as proposições verdadeiras p: Carlos é rico e q: Carlos é alto e r: Carlos fala alemão.
Encontre o valor lógico das proposições abaixo: