Aula 01 - Conceitos Iniciais

CURSO ONLINE RACIOCNIO LGICO
AULA 1: CONCEITOS INICIAIS

Ol, amigos! uma alegria receb-los para darmos incio a mais este projeto. Dentro de
algumas semanas, se Deus quiser, e contando com o esforo e a vontade de cada um, estaremos
muito mais preparados para enfrentar o desafio de resolver uma prova de Raciocnio Lgico de
concurso.
Gostaria, antes de dar incio, de ratificar a presena, na feitura destas aulas, do Prof. Weber
Campos. um curso escrito a quatro mos, e estou certo que todos s tm a ganhar com isso. O
prof. Weber profundo conhecedor da matria, e isso se far ver ao longo das semanas que viro.
Iniciemos, pois, tratando dos fundamentos da lgica.
Fundamentos da Lgica:
# Primeiros Conceitos:
O conceito mais elementar no estudo da lgica e portanto o primeiro a ser visto o de
Proposio.
Trata-se, to somente, de uma sentena algo que ser declarado por meio de palavras
ou de smbolos e cujo contedo poder considerado verdadeiro ou falso.
Ento, se eu afirmar a Terra maior que a Lua, estarei diante de uma proposio, cujo
valor lgico verdadeiro.
Da, ficou 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...
sentenas exclamativas: Caramba! ; Feliz aniversrio!
sentenas interrogativas: como o seu nome? ; o jogo foi de quanto?
sentenas imperativas: Estude mais. ; Leia aquele livro.
... no sero estudadas neste curso. 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, as seguintes:
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 se entender, e que tero que ser sempre obedecidos. So os
seguintes:
Uma proposio verdadeira verdadeira; uma proposio falsa falsa. (Princpio da identidade);
Nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo. (Princpio da NoContradio);
Uma proposio ou ser verdadeira, ou ser falsa: no h outra possibilidade. (Princpio do

Terceiro Excludo).
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:
www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

Todo homem mortal.
O novo papa alemo.

Todavia, se duas (ou mais) proposies vm conectadas entre si, formando uma s
sentena, estaremos diante de uma proposio composta. Exemplos:
Joo mdico e Pedro dentista.
Maria vai ao cinema ou Paulo vai ao circo.

Ou Lus baiano, ou paulista.
Se chover amanh de manh, ento no irei praia.
Comprarei uma manso se e somente se eu ganhar na loteria.
Nas sentenas acima, vimos em destaque os vrios tipos de conectivos ditos conectivos
lgicos que podero estar presentes em uma proposio composta. Estudaremos cada um deles
a seguir, uma vez que de nosso interesse conhecer o valor lgico das proposies compostas.
Veremos que, para dizer que uma proposio composta verdadeira ou falsa, isso
depender 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:
Marcos mdico e Maria estudante
... poderemos represent-la apenas por: p q
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.
Ento, diante da sentena Marcos mdico e Maria estudante, s poderemos concluir
que esta proposio composta verdadeira se for verdade, ao mesmo tempo, que Marcos
mdico e que Maria estudante.
Pensando pelo caminho inverso, teremos que basta que uma das proposies componentes
seja falsa, e a conjuno ser toda ela falsa. Obviamente que o resultado falso tambm
ocorrer quando ambas as proposies componentes forem falsas.
Essas concluses todas as quais acabamos de chegar podem ser resumidas em uma
pequena tabela. Trata-se da tabela-verdade, de fcil construo e de fcil entendimento.
Retomemos as nossas premissas:
p = Marcos mdico e
q = Maria estudante.
Se tivermos que ambas so verdadeiras, a conjuno formada por elas (Marcos mdico e
Maria estudante) ser tambm verdadeira. Teremos:
Marcos mdico
p
V
Maria estudante
q
V

pq
V
Se for verdade apenas que Marcos mdico, mas falso que Maria estudante, teremos:
Marcos mdico
p
V
Maria estudante
q
F

pq
F
3
Por outro lado, se for verdadeiro que Maria estudante, e falso que Marcos mdico,
teremos:
Marcos mdico
p
F
Maria estudante
q
V

pq
F
Enfim, se ambas as sentenas simples forem falsas, teremos que:

Marcos mdico
p
F
Maria estudante
q
F

pq
F
Ora, as quatro situaes acima esgotam todas as possibilidades para uma conjuno. Fora
disso no h! 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 vs seguidos
de dois 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 e efes se alternando a cada linha, comeando com um V.
Assim:
p
V
V
F
F
q
V
F
V
F
4
Essa estrutura inicial sempre assim, para tabelas-verdade de duas proposies p e q. A
terceira coluna depender do conectivo que as une, e que est sendo analisado. No caso do
conectivo e, ou seja, no caso da conjuno, j aprendemos a completar a nossa tabelaverdade:
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a

conjuno " p e q " corresponder interseo do conjunto p com o conjunto q. Teremos:
pq
Passemos ao segundo conectivo.

# Conectivo ou: (disjuno)
Recebe o nome de disjuno toda proposio composta em que as partes estejam unidas
pelo conectivo ou. Simbolicamente, representaremos esse conectivo por . Portanto, se temos a
sentena:
Marcos mdico ou Maria estudante
... ento a representaremos por: p q.
Seremos capazes de criar uma tabela-verdade para uma proposio disjuntiva? Claro! Basta
nos lembrarmos da tal promessa do pai para seu filho! Vejamos: eu te darei uma bola ou te darei
uma bicicleta. Neste caso, a criana j sabe, de antemo, que a promessa por apenas um dos
presentes! Bola ou bicicleta! Ganhando de presente apenas um deles, a promessa do pai j valeu!
J foi verdadeira! E se o pai for abastado e resolver dar os dois presentes? Pense na cara do
menino! Feliz ou triste? Felicssimo! A promessa foi mais do que cumprida. S haver um caso,
todavia, em que a bendita promessa no se cumprir: se o pai esquecer o presente, e no der nem
a bola e nem a bicicleta. Ter sido falsa toda a disjuno.
Da, conclumos: uma disjuno ser falsa quando as duas partes que a compem
forem ambas falsas! E nos demais casos, a disjuno ser verdadeira! Teremos as possveis
situaes:
Te darei uma bola
p
V
Te darei uma bicicleta

q
V
Te darei uma bola ou te darei uma bicicleta

pq
V

q
F

pq
V

q
V

pq
V
Ou:
Te darei uma bola
p
V
Ou:
Te darei uma bola
p
F
Ou, finalmente:
Te darei uma bola
p
F

q
F

pq
F
Juntando tudo, teremos:

P
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
A promessa inteira s falsa se as duas partes forem descumpridas!

Observem que as duas primeiras colunas da tabela-verdade acima as colunas do p e do
q so exatamente iguais s da tabela-verdade da conjuno (p e q). Muda apenas a terceira
coluna, que agora representa um ou, a disjuno.
Se as proposies p e q forem representadas como conjuntos por meio de um diagrama, a
disjuno "p ou q" corresponder unio do conjunto p com o conjunto q,
pq
# Conectivo ou ... ou...: (disjuno exclusiva)

H um terceiro tipo de proposio composta, bem parecido com a disjuno que acabamos
que ver, mas com uma pequena diferena. Comparemos as duas sentenas abaixo:
ou te darei uma bola ou te darei uma bicicleta
A diferena sutil, mas importante. Reparemos que na primeira sentena v-se facilmente
que se a primeira parte for verdade (te darei uma bola), isso no impedir que a segunda parte (te
darei uma bicicleta) tambm o seja. J na segunda proposio, se for verdade que te darei uma
bola, ento teremos que no ser dada a bicicleta. E vice-versa, ou seja, se for verdade que te
darei uma bicicleta, ento teremos que no ser dada a bola.
Ou seja, a segunda estrutura apresenta duas situaes mutuamente excludentes, de sorte
que apenas uma delas pode ser verdadeira, e a restante ser necessariamente falsa.
Ambas nunca podero ser, ao mesmo tempo, verdadeiras; ambas nunca podero ser, ao
mesmo tempo, falsas.
Na segunda sentena acima, este tipo de construo uma disjuno exclusiva, pela
presena dos dois conectivos ou, que determina que uma sentena necessariamente
verdadeira, e a outra, necessariamente falsa. Da, o nome completo desta proposio composta
disjuno exclusiva.
E como fica a sua tabela-verdade? Ora, uma disjuno exclusiva s ser verdadeira se
obedecer mtua excluso das sentenas. Falando mais fcil: s ser verdadeira se houver uma
das sentenas verdadeira e a outra falsa. Nos demais casos, a disjuno exclusiva ser falsa.
O smbolo que designa a disjuno exclusiva o v. E a tabela-verdade ser, pois, a
seguinte:

p
V
V
F
F
q
V
F
V
F
ou p ou q
F
V
V
F
# Conectivo Se ... ento...: (condicional)

Estamos agora falando de proposies como as que se seguem:
Se Pedro mdico, ento Maria dentista.
Se amanhecer chovendo, ento no irei praia.

Muita gente tem dificuldade em entender o funcionamento desse tipo de proposio.
Convm, para facilitar nosso entendimento, que trabalhemos com a seguinte sentena.
Se nasci em Fortaleza, ento sou cearense.
Cada um de vocs pode adaptar essa frase acima sua realidade: troque Fortaleza pelo
nome da sua cidade natal, e troque cearense pelo nome que se d a quem nasce no seu Estado.
Por exemplo:
Se nasci em Belm, ento sou paraense.
Se nasci em Niteri, ento sou fluminense.

E assim por diante. Pronto?
Agora me responda: qual a nica maneira de essa proposio estar incorreta? Ora, s h
um jeito de essa frase ser falsa: se a primeira parte for verdadeira, e a segunda for falsa.
Ou seja, se verdade que eu nasci em Fortaleza, ento necessariamente verdade que eu
sou cearense.
Se algum disser que verdadeiro que eu nasci em Fortaleza, e que falso que eu sou
cearense, ento este conjunto estar todo falso.
Percebam que o fato de eu ter nascido em Fortaleza condio suficiente (basta isso!)
para que se torne um resultado necessrio que eu seja cearense. Mirem nessas palavras:
suficiente e necessrio.
Uma condio suficiente gera um resultado necessrio.
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:
Pedro ser rico condio suficiente para Maria ser mdica igual a:
Se Pedro for rico, ento Maria mdica
Por outro lado, se ocorrer de algum disser que: Maria ser mdica condio necessria
para que Pedro seja rico, tambm poderemos traduzir isso de outra forma:
Maria ser mdica condio necessria para que Pedro seja rico igual a:
Se Pedro for rico, ento Maria mdica
O conhecimento de como se faz essa traduo das palavras suficiente e necessrio para o
formato da proposio condicional j foi bastante exigido em questes de concursos.
No podemos, pois esquecer disso:
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 a 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: p q.
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
As seguintes expresses podem se empregar como equivalentes de "Se p, ento q":

Se A, B.
B, se A.
Quando A, B.
A implica B.
A condio suficiente para B.

B condio necessria para A.
A somente se B.
Todo A B.
Da, a proposio condicional: Se chove, ento faz frio poder tambm ser dita das
seguintes maneiras:
Se chove, faz frio.

Faz frio, se chove.
Quando chove, faz frio.
Chover implica fazer frio.
Chover condio suficiente para fazer frio.
Fazer frio condio necessria para chover.
Chove somente se faz frio.
Toda vez que chove, faz frio.

proposio condicional "Se p ento q" corresponder incluso do conjunto p no conjunto q (p
est contido em q):
pq
q
p
# Conectivo ... se e somente se ...: (bicondicional)

A estrutura dita bicondicional apresenta o conectivo se e somente se, separando as duas
sentenas simples.
Trata-se de uma proposio de fcil entendimento. Se algum disser:
Eduardo fica alegre se e somente se Mariana sorri.
o mesmo que fazer a conjuno entre as duas proposies condicionais:
Eduardo fica alegre somente se Mariana sorri e Mariana sorri somente se Eduardo fica
alegre.
Ou ainda, dito de outra forma:
Se Eduardo fica alegre, ento Mariana sorri e se Mariana sorri, ento Eduardo fica
alegre.
So construes de mesmo sentido!
8
Sabendo que a bicondicional uma conjuno entre duas condicionais, ento a
bicondicional ser falsa somente quando os valores lgicos das duas proposies que a compem
forem diferentes. Em suma: haver duas situaes em que a bicondicional ser verdadeira: quando
antecedente e conseqente forem ambos verdadeiros, ou quando forem ambos falsos. Nos demais
casos, a bicondicional ser falsa.
Sabendo que a frase p se e somente se q representada por pq, ento nossa tabelaverdade ser a seguinte:
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
V

proposio bicondicional "p se e somente se q" corresponder igualdade dos conjuntos p e q.
p=q
Observao: Uma proposio bicondicional "p se e somente se q" equivale proposio

composta: se p ento q e se q ento p, ou seja,
p q a mesma coisa que (p q) e (q p)
So tambm equivalentes bicondicional "p se e somente se q" as seguintes
expresses:
A se e s se B.
Se A ento B e se B ento A.
A somente se B e B somente se A.
A condio suficiente para B e B condio suficiente para A.
B condio necessria para A e A condio necessria para B.
Todo A B e todo B A.
Todo A B e reciprocamente.
Via de regra, em questes de prova, s se v mesmo a bicondicional no seu formato
tradicional: p se e somente se q.
# Partcula no: (negao)
Veremos algo de suma importncia: como negar uma proposio.
No caso de uma proposio simples, no poderia ser mais fcil: basta pr a palavra no
antes da sentena, e j a tornamos uma negativa. Exemplos:
Joo mdico.
Negativa: Joo no mdico.
Maria estudante. Negativa: Maria no estudante.

Reparemos que, caso a sentena original j seja uma negativa (j traga a palavra no),
ento para negar a negativa, teremos que excluir a palavra no. Assim:
Joo no mdico.
Negativa: Joo mdico.
Maria no estudante. Negativa: Maria estudante.

Pronto! Em se tratando de fazer a negao de proposies simples, j estamos craques!
9
O smbolo que representa a negao uma pequena cantoneira () ou um sinal de til (~),
antecedendo a frase. (Adotaremos o til). Assim, a tabela-verdade da negao mais simplificada
que as demais j vistas. Teremos:
p
V
F
~p
F
V
Podem-se empregar, tambm, como equivalentes de "no A", as seguintes expresses:

No verdade que A.
falso que A.
Da as seguintes frases so equivalentes:
Lgica no fcil.
No verdade que Lgica fcil.
falso que Lgica fcil.
# Negativa de uma Proposio Composta:
O que veremos aqui seria o suficiente para acertarmos algumas questes de concurso. J
sabemos negar uma proposio simples. Mas, e se for uma proposio composta, como fica? A,
depender de qual a estrutura em que se encontra essa proposio.
Veremos, pois, uma a uma:
Negao de uma Proposio Conjuntiva: ~(p e q)
Para negarmos uma proposio no formato de conjuno (p e q), faremos o seguinte:
1) Negaremos a primeira (~p);
2) Negaremos a segunda (~q);
3) Trocaremos e por ou.
E s!
Da, a questo dir: No verdade que Joo mdico e Pedro dentista, e pedir que
encontremos, entre as opes de resposta, aquela frase que seja logicamente equivalente a esta
fornecida.
Analisemos: o comeo da sentena no verdade que.... Ora, dizer que no verdade
que... nada mais nada menos que negar o que vem em seguida.
E o que vem em seguida? Uma estrutura de conjuno!
Da, como negaremos que Joo mdico e Pedro dentista? Da forma explicada acima:
1) Nega-se a primeira parte: (~p): Joo no mdico
2) Nega-se a segunda parte: (~q): Pedro no dentista
3) Troca-se e por ou, e o resultado final ser o seguinte:
Joo no mdico ou Pedro no dentista.
Traduzindo para a linguagem da lgica, diremos que:
~(p q) = ~p ~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
10
q
V
F
V
F
Da, faremos a prxima coluna, que a da conjuno (e). Teremos:

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
(p q)
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 ~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
11
~p ~q
F
V
V
V
Resultados idnticos! Da, do ponto de vista lgico, para negar p e q, negaremos p,

negaremos q, e trocaremos e por ou.
J sabendo disso, no perderemos tempo na prova construindo tabela-verdade para saber
como se faz a negativa de uma conjuno! Esse exerccio que fizemos acima, de comparar as
colunas-resultado das duas tabelas, serviu apenas para explicar a origem dessa equivalncia lgica.
Ou seja, para dizer se uma proposio , do ponto de vista lgico, equivalente a outra,
basta fazer uma comparao entre suas tabelas-verdade concludas.
Negao de uma Proposio Disjuntiva: ~(p ou q)
Para negarmos uma proposio no formato de disjuno (p ou q), faremos o seguinte:
1) Negaremos a primeira (~p);
2) Negaremos a segunda (~q);
3) Trocaremos ou por e.
Se uma questo de prova disser: Marque a assertiva que logicamente equivalente
seguinte frase: No verdade que Pedro dentista ou Paulo engenheiro.
Pensemos: a frase em tela comea com um no verdade que..., ou seja, o que se segue
est sendo negado! E o que se segue uma estrutura em forma de disjuno. Da, obedecendo aos
passos descritos acima, faremos:
1) Nega-se a primeira parte: (~p): Pedro no dentista
2) Nega-se a segunda parte: (~q): Paulo no engenheiro
3) Troca-se ou por e, e o resultado final ser o seguinte:
Pedro no dentista e Paulo no engenheiro.
Na linguagem apropriada, concluiremos que:
~(p q) = ~p ~q
Se formos curiosos, poderemos fazer a comprovao via tabelas-verdade desta
concluso acima. Somos curiosos? Claro! Tomemos a primeira parte: ~(p q). Teremos, de incio:
p
V
V
F
F
q
V
F
V
F
Depois, construindo a coluna da disjuno (p ou q), teremos:

p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
Finalmente, fazendo a negao da coluna da disjuno, teremos:


p
V
V
F
F
q
V
F
V
F
12
~(p q)
F
F
F
V
pq
V
V
V
F
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
Construindo-se as colunas das negaes de p e de q, teremos:

p
V
V
F
F
Q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
Finalmente, fazendo a conjuno ~p e ~q, teremos o seguinte resultado:

p
V
V
F
F
Q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
~p ~q
F
F
F
V
Concluindo, comparemos a coluna resultado (em destaque) desta estrutura (~p ~q) com
aquela que estava guardada da estrutura ~(p q). Teremos
~(p q)
V
V
V
F
~p ~q
V
V
V
F
Resultados idnticos! Da, do ponto de vista lgico, para negar p ou q, negaremos p,

negaremos q, e trocaremos ou por e.
Negao de uma Proposio Condicional: ~(p q)
Esta negativa a mais cobrada em prova! J, j, veremos exerccios de concursos bem
recentes. Como que se nega uma condicional? Da seguinte forma:
1) Mantm-se a primeira parte; e
2) Nega-se a segunda.
Por exemplo, como seria a negativa de Se chover, ento levarei o guarda-chuva?
1) Mantendo a primeira parte: Chove e
2) Negando a segunda parte: eu no levo o guarda-chuva.
Resultado final: Chove e eu no levo o guarda-chuva.
13
Na linguagem lgica, teremos que:

~(p q) = p ~q
Vejamos a questo seguinte, que caiu na prova de Gestor Fazendrio de Minas Gerais,
realizada h poucos dias:
(GEFAZ/MG-2005) A afirmao No verdade que, se Pedro est em Roma, ento Paulo
est em Paris logicamente equivalente afirmao:
a)
b)
c)
d)
e)
verdade que Pedro est em Roma e Paulo est em Paris.

No verdade que Pedro est em Roma ou Paulo no est em Paris.
No verdade que Pedro no est em Roma ou Paulo no est em Paris.
No verdade que Pedro no est em Roma ou Paulo est em Paris.
verdade que Pedro est em Roma ou Paulo est em Paris.
Sol.: Vamos pensar juntos. Vejamos que a frase em anlise comea com no verdade que....
Logo, estamos lidando com uma negao! E o que se segue a esta negao? Uma proposio
condicional, ou seja, uma sentena do tipo Se p, ento q.
Da, recordaremos aquilo que acabamos de aprender: para negar uma condicional,
manteremos a primeira parte e negaremos a segunda. Teremos:
1) Mantendo a primeira parte: Pedro est em Roma e
2) Negando a segunda parte: Paulo no est em Paris.
O resultado ficou assim: Pedro est em Roma e Paulo no est em Paris.
Da, procuraremos entre as opes de resposta, alguma que diga justamente que:
verdade que Pedro est em Roma e Paulo no est em Paris. Encontramos? No encontramos! S
h duas opes de resposta que comeam com verdade que..., que so as letras a e e. Esto,
pois, descartadas essas duas opes.
Restam as letras b, c e d. Todas essas comeam com No verdade que.... Ou seja,
comeam com uma negao! Da, fica claro perceber que o que precisamos fazer agora encontrar
uma proposio cuja negativa resulte exatamente na frase Pedro est em Roma e Paulo no
est em Paris, a qual havamos chegado.
Ou seja, a proposio Pedro est em Roma e Paulo no est em Paris ser o resultado
de uma negao!
Ora, aprendemos h pouco que negando uma disjuno (ou), chegaremos a uma conjuno
(e), e vice-versa. Vejamos:
~(p q) = ~p ~q
~(p q) = ~p ~q
Estamos com o segundo caso, em que o resultado uma conjuno (e):

~(p q) = ~p ~q
Observem que Pedro est em Roma e Paulo no est em Paris corresponde ao
resultado ~p ~q, que a segunda parte da igualdade.
Estamos procura da primeira parte, que ~(p q).
Logo, teremos que:
o til (~) corresponde a: No verdade que...
o p corresponde a: Pedro no est em Roma;
o corresponde a ou;
o q corresponde a: Paulo est em Paris.
E chegamos a:
No verdade que Pedro no est em Roma ou Paulo est em Paris.

Esta nossa resposta! Letra d.
14
Vejamos o caminho que foi trilhado, at chegarmos resposta:

1) Fizemos a negao de uma proposio condicional (se...ento). O resultado deste
primeiro passo sempre uma conjuno (e).
2) Achamos a proposio equivalente conjuno encontrada no primeiro passo.
Na seqncia, apresentaremos duas tabelas que trazem um resumo das relaes vistas at
este momento. Vejamos:
:
Estrutura
lgica
verdade quando
falso quando
pq
p e q so, ambos, verdade
um dos dois for falso
pq
um dos dois for verdade
p e q, ambos, so falsos
p q
nos demais casos
p verdade e q falso
p q
p e q tiverem valores lgicos iguais
p e q tiverem valores lgicos diferentes
~p
p falso
p verdade
Negativas das Proposies Compostas:

negao de (p e q)
~p ou ~q
negao de (p ou q)
~p e ~q
negao de (p q)
p e ~q
negao de (p q)
[(p e ~q) ou (q e ~p)]
Encerraremos esta primeira aula com uma lista de questes de concurso, as quais
poderemos tentar resolver somente com os conhecimentos j adquiridos. o nosso...
DEVER DE CASA
01. (AFC-STN/2005) Se Marcos no estuda, Joo no passeia. Logo:
a)
b)
c)
d)
e)
Marcos
Marcos
Marcos
Marcos
Marcos
estudar condio necessria para Joo no passear.

estudar condio suficiente para Joo passear.
no estudar condio necessria para Joo no passear.
no estudar condio suficiente para Joo passear.
estudar condio necessria para Joo passear.
02. (Fiscal Recife/2003) Pedro, aps visitar uma aldeia distante, afirmou: No
verdade que todos os aldees daquela aldeia no dormem a sesta. A condio
necessria e suficiente para que a afirmao de Pedro seja verdadeira que seja
verdadeira a seguinte proposio:
a) No mximo um aldeo daquela aldeia no dorme a sesta.
b) Todos os aldees daquela aldeia dormem a sesta.
c) Pelo menos um aldeo daquela aldeia dorme a sesta.
d) Nenhum aldeo daquela aldeia no dorme a sesta.
e) Nenhum aldeo daquela aldeia dorme a sesta.
15
03. (AFC/2002) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente
equivalente a dizer que verdade que:
a) Pedro no pobre ou Alberto no alto.
b) Pedro no pobre e Alberto no alto.
c) Pedro pobre ou Alberto no alto.
d) se Pedro no pobre, ento Alberto alto.
e) se Pedro no pobre, ento Alberto no alto.
04. (MPOG/2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente
equivalente a dizer que:
a)
b)
c)
d)
e)
Andr artista se e somente se Bernardo no engenheiro.

Se Andr artista, ento Bernardo no engenheiro.
Se Andr no artista, ento Bernardo engenheiro
Se Bernardo engenheiro, ento Andr artista.
Andr no artista e Bernardo engenheiro
05. (CVM/2000) Dizer que a afirmao todos os economistas so mdicos falsa, do ponto
de vista lgico, equivale a dizer que a seguinte afirmao verdadeira:
a) pelo menos um economista no mdico
b) nenhum economista mdico
c) nenhum mdico economista
d) pelo menos um mdico no economista
e) todos os no mdicos so no economistas
06. (Fiscal Trabalho/98) Dizer que "Pedro no pedreiro ou Paulo paulista" , do ponto de
vista lgico, o mesmo que dizer que:
a) se Pedro pedreiro, ento Paulo paulista
b) se Paulo paulista, ento Pedro pedreiro
c) se Pedro no pedreiro, ento Paulo paulista
d) se Pedro pedreiro, ento Paulo no paulista
e) se Pedro no pedreiro, ento Paulo no paulista
07. (Fiscal Trabalho/98) A negao da afirmao condicional "se estiver chovendo, eu levo o
guarda-chuva" :
a) se no estiver chovendo, eu levo o guarda-chuva
b) no est chovendo e eu levo o guarda-chuva
c) no est chovendo e eu no levo o guarda-chuva
d) se estiver chovendo, eu no levo o guarda-chuva
e) est chovendo e eu no levo o guarda-chuva
08. (SERPRO/96) Uma sentena logicamente equivalente a Pedro economista, ento Lusa
solteira :
a) Pedro economista ou Lusa solteira.
b) Pedro economista ou Lusa no solteira.
c) Se Lusa solteira,Pedro economista;
d) Se Pedro no economista, ento Lusa no solteira;
e) Se Lusa no solteira, ento Pedro no economista.
No esgotamos ainda o tpico de conceitos iniciais! Ainda h vrios deles a serem explanados, o
que ser feito na prxima aula.
Voltaremos tambm a falar em Tabela-Verdade, e faremos muitos exerccios com elas!
Essas aulas iniciais so de fundamental importncia, pois muitos destes conceitos nos
acompanharo por todo o curso.
Por isso, importante que vocs leiam e releiam tudo o que foi visto aqui hoje. Com calma, sem
aperreios! E no esqueam de tentar fazer as questes do dever de casa. As resolues sero trazidas
na prxima aula.
Ficamos hoje por aqui. Forte abrao a todos, e fiquem com Deus!

Aula 01 - Conceitos Iniciais

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aula 01 - Conceitos Iniciais

Enviado por

Direitos autorais:

Formatos disponíveis

CURSO ONLINE RACIOCNIO LGICO

AULA 1: CONCEITOS INICIAIS

Uma proposio ou ser verdadeira, ou ser falsa: no h outra possibilidade. (Princpio do

Proposies podem ser ditas simples ou compostas.

CURSO ONLINE RACIOCNIO LGICO

O novo papa alemo.

Maria vai ao cinema ou Paulo vai ao circo.

Marcos mdico e Maria estudante

Marcos mdico e Maria estudante

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

Marcos mdico e Maria estudante

Enfim, se ambas as sentenas simples forem falsas, teremos que:

Marcos mdico e Maria estudante

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a

Passemos ao segundo conectivo.

Te darei uma bicicleta

Te darei uma bola ou te darei uma bicicleta

Te darei uma bicicleta

Te darei uma bola ou te darei uma bicicleta

Te darei uma bicicleta

Te darei uma bola ou te darei uma bicicleta

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

Te darei uma bicicleta

Te darei uma bola ou te darei uma bicicleta

Juntando tudo, teremos:

A promessa inteira s falsa se as duas partes forem descumpridas!

# Conectivo ou ... ou...: (disjuno exclusiva)

CURSO ONLINE RACIOCNIO LGICO

# Conectivo Se ... ento...: (condicional)

Se amanhecer chovendo, ento no irei praia.

Se nasci em Niteri, ento sou fluminense.

CURSO ONLINE RACIOCNIO LGICO

Na proposio Se p, ento q , a proposio p denominada de antecedente, enquanto a

As seguintes expresses podem se empregar como equivalentes de "Se p, ento q":

A condio suficiente para B.

Se chove, faz frio.

Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a

# Conectivo ... se e somente se ...: (bicondicional)

Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a

Observao: Uma proposio bicondicional "p se e somente se q" equivale proposio

Negativa: Joo no mdico.

Maria estudante. Negativa: Maria no estudante.

Negativa: Joo mdico.

Maria no estudante. Negativa: Maria estudante.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

Podem-se empregar, tambm, como equivalentes de "no A", as seguintes expresses:

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

Da, faremos a prxima coluna, que a da conjuno (e). Teremos:

CURSO ONLINE RACIOCNIO LGICO

Resultados idnticos! Da, do ponto de vista lgico, para negar p e q, negaremos p,

Depois, construindo a coluna da disjuno (p ou q), teremos:

Finalmente, fazendo a negao da coluna da disjuno, teremos:

CURSO ONLINE RACIOCNIO LGICO

Construindo-se as colunas das negaes de p e de q, teremos:

Finalmente, fazendo a conjuno ~p e ~q, teremos o seguinte resultado:

Resultados idnticos! Da, do ponto de vista lgico, para negar p ou q, negaremos p,

CURSO ONLINE RACIOCNIO LGICO

Na linguagem lgica, teremos que:

verdade que Pedro est em Roma e Paulo est em Paris.

Estamos com o segundo caso, em que o resultado uma conjuno (e):

CURSO ONLINE RACIOCNIO LGICO