Você está na página 1de 21

Lara Marcoccia de Lima

RACIOCÍNIO LÓGICO
material complementar

Professor Pedro Campos


Damásio Educacional

Lógica Proposicional
2

PROPOSIÇÃO é toda frase que pode ser classificada


como

VERDADEIRA FALSA

1. Os três princípios da lógica são:

a) IDENTIDADE

Uma proposição verdadeira será verdadeira e uma


proposição falsa será falsa.

b) NÃO-CONTRADIÇÃO

Uma proposição nunca será verdadeira e falsa ao


mesmo tempo.

c) TERCEIRO EXCLUÍDO

Uma proposição será verdadeira ou falsa. Não existe


outra possibilidade.
3

2. Os tipos de proposição são:

a) SIMPLES

Também chamada de atômica ou indivisível.

O professor Pedro é careca. V


O Obama é chinês. F

b) COMPOSTA

Também chamada de proposição molecular.


Nasce da junção das proposições simples ligadas por
meio de um conectivo lógico.

O professor Pedro é careca ou o Obama é chinês


V F =V

Tabela Verdade

1) SÍMBOLOS E CONECTIVOS

a) Conjunção

“E”
Representada pelo símbolo ^
4

Maria é bonita e Carla é simpática.


p ^ q

b) Disjunção inclusiva

“Ou”
Representada pelo símbolo v

Os pássaros cantam ou os cachorros latem.


p v q

c) Disjunção exclusiva

“Ou...ou...”
Representada pelo símbolo v

Ou vou à escola ou vou ao teatro.


p v q

d) Condicional ou implicação

“Se... então...”
Representada por 

Se Omar namora com Lidia, então o Padre Francisco


vai casá-los.
5

p  q

e) Bicondicional ou bi-implicação

“Se, e somente se,...”


Representada pelo símbolo 

Edu passará no teste se, e somente se, Laura o


incentivar a estudar.
p  q

2) TABELA VERDADE

Sendo p e q duas proposições simples:

p q
V V
V F
F V
F F

p: primeira proposição
q: segunda proposição

p q ^ v v  

V V V V F V V

V F F V V F F
6

F V F V V V F

F F F F F V V

 Quantidade de linhas de uma tabela verdade:

1 proposição = 2 possibilidades (ou V ou F)


Logo, para saber a quantidade de linhas, deve-se
multiplicar por 2 cada proposição simples que houver,
cabendo a seguinte fórmula:

2nº de proposições

3) MACETES PARA DECORAR A TABELA VERDADE

a) Conjunção “e” ^

Só será V quando p e q forem V

b) Disjunção inclusiva “ou” v

Só será F quando p e q forem F

c) Disjunção exclusiva “ou... ou...” v


7

Só será F quando p e q tiverem diferentes valores


lógicos.

d) Condicional “se... então...” 

Só será F quando p for V e q for F

A Vera Fischer é falsa!

e) Bicondicional “... se, e somente se...” 

Só será V quando p e q tiverem idêntico valor lógico.

4) JULGAMENTO DE MAIS DE DUAS PROPOSIÇÕES

Se V então V ou F

V
8

VeV=V

Sempre que houver “se..., então...” e “se, e somente


se, ...”, as proposições ligadas a estes conectivos
serão julgadas por último, como em uma equação, que
possui sinais de multiplicação e soma.

5) SINÔNIMOS DOS CONECTIVOS

a) Podem ser usados no lugar de “se... então...” ():

 vírgula (,)
 como
 sempre que
 quando/enquanto

estes geralmente são usados no


começo da frase; caso
apareçam no meio da
preposição, deve-se reescrevê-
la para poder julgá-la como V ou
F.

b) Podem ser usados no lugar de “e” (v):

 vírgula (,)
 mas
9

Negação de Proposições

A negação de uma proposição é representada pelo


símbolo ~ ou 

Sou feliz.
~: Não sou feliz.

Não vou para a praia.


~: Vou para a praia.

a) Negação da conjunção “e” (^):

O dia não está quente e Karina foi à praia.


~: O dia está quente ou Karina não foi à praia.

Dica: negar as proposições e trocar o conectivo pelo


“ou” (v)

b) Negação da disjunção inclusiva “ou” (v):

Jô é careca ou Rê pulou carnaval.


~: Jô não é careca e Rê não pulou carnaval.

Dica: negar as proposições e trocar o conectivo pelo


“e” (^)

Leis de Morgan

I) ~ ( p ^ q ) = ~ p v ~ q

II) ~ ( p v q ) = ~ p ^ ~ q
10

c) Negação da condicional “se... então...” ():

Se Rita caiu da escada, então Bia toca violão.


~: Rita caiu da escada e Bia não toca violão.

Dica: 1) copiar p
2) trocar o conectivo pelo “e” (^)
3) negar q

d) Negação da bicondicional “se, e somente se,...”


()

Sou feliz se, e somente se, danço.


~: Ou sou feliz ou danço.
~: Ou não sou feliz ou não danço.

Assim, há duas maneiras de negar o “se, e somente


se,...”:

1ª)Trocar o conectivo por “ou... ou...” (v)


2ª)Trocar o conectivo por “ou...
ou...” (v) e negar as proposições

e) Negação da disjunção exclusiva “ou... ou...” (v):

Ou Bete é rica ou Maria é loira.


~: Bete é rica se, e somente se, Maria é loira.

Dica: trocar o conectivo por “se, e somente se,...” ()

P ~P
p^q ~pv~q

pvq ~p^~q
11

pq p^~q

p  q pvq

pvq p  q

 EXEMPLOS:

Hoje é terça e vou para a


praia ou vou
para a piscina.

~ ~
ou

~: Hoje não é terça ou não vou para a praia e não vou


para a piscina.

Se hoje é terça,
então vou para a praia ou vou para a
piscina.

mantém a 1ª e nega a 2ª

~: Hoje é terça e não vou para a praia e não vou para a


piscina.

Se o
céu é azul e estou com calor, então vou passar na prova ou vai
chover.

mantém a 1ª e nega a 2ª
12

~: O céu é azul e estou com calor e não vou passar na prova e


não vai chover.

Quantificadores Lógicos

1) Universal positiva:

 todos

2) Universal negativa:

 nenhum
 todos não
 ninguém

3) Particular positiva

 algum
 existe um
13

 pelo menos um
 alguém

4) Particular negativa

 algum não
 existe um que não
 pelo menos um não
 alguém não

Para negar uma proposição universal, usa-se uma


proposição particular.

UNIVERSAL
PARTICULAR

Todos os meus amigos são analistas.


~: Algum amigo meu não é analista.
 EXEMPLO:

Se todo cão late, então algum peixe não


nada e
nenhuma ave voa.

mantém a 1ª
nega a 2ª

~: Todo cão late e todo peixe nada ou alguma ave


voa.
14

Negação de Sentenças Abertas

p ~p
x>7 x7
x < -4 x  -4
x  -8 x < -8
x0 x=0
x é par x é ímpar

Equivalência de Proposições

A equivalência de uma proposição é o contrário da


negação e é representada pelo símbolo 
Duas proposições são logicamente equivalentes
quando apresentarem tabelas-verdade idênticas.

1) Equivalências da condicional “se... então” ():

a) contrapositiva
p q~q~p

Se hoje é sexta, então vou para o bar beber.


: Se não vou para o bar beber, então hoje não é
sexta.

Dica nega-nega-troca-troca: negar as duas proposições


de trás
para frente.
15

Se todo cão não late, então


algum gato mia.

~ ~

: Se nenhum gato mia, então algum cão late.

b) equivalência entre “se... então” e “ou”

pq~pvq
ou
pvq~pq

Se hoje é sexta, então vou para o bar beber.


: Hoje não é sexta ou vou para o bar beber. (p  q 
~ p v q)
: Se hoje é sexta, então vou para o bar beber. (p v q
 ~ p  q)

Dica 1:

1ª)Negar a primeira
2ª)Trocar o conectivo por “ou” (v)
3º)Manter a segunda

Se todo cão não late,


então algum gato
mia.
16

~ ou mantém

: Algum cão late ou algum gato mia.

Dica 2: negar duas vezes a mesma proposição faz com


que esta volte a ter o mesmo sentido lógico.

Se sou feliz, então danço.


1ª negação: Sou feliz e não danço.
2ª negação: Não sou feliz ou danço.

Então: Se sou feliz, danço  Não sou feliz ou danço

Tautologia
Proposição composta que é sempre verdadeira.
Simbolizada por p v ~ p

Hoje é sábado ou hoje não é sábado.


V F =V
F V =V

Contradição

Proposição composta que é sempre falsa.


Simbolizada por p ^ ~ p

Bete é médica e Bete não é médica.


V F =F
F V =F
17

Contingência

Proposição que às vezes é verdadeira, às vezes é


falsa.
Todas as tabelas verdade representam contingências.

Lógica da Argumentação

Em um argumento válido, a veracidade das premissas


garante a veracidade da conclusão.

Este é um argumento válido:

Todo homem voa.


Pedro é homem.
Logo, Pedro voa.

Este é um argumento inválido:

Willy é um peixe.
Willy sabe nadar.
Logo, todo peixe sabe nadar.

Premissa: Todo cão late. V

Conclusão: Nenhum cão late. F


Conclusão: Tudo que late é cão. Não é possível afirmar
Conclusão: Algum cão late. V
18

Conclusão: Algum cão não late. F

Premissa: Algum gato mia. V

Conclusão: Todo gata mia. Não é possível afirmar


Conclusão: Algum gato não mia. Não é possível afirmar
Conclusão: Nenhum gato mia. F
Conclusão: Algo que mia não é gato. Não é possível
afirmar

Diagramas Lógicos

Todo A é B
Algum A é B
AB Algum B é A
Algum B não é A

A B Nenhum A é B
Nenhum B é A
Todo A é não B
Todo B é não A
19

A
B Algum A é B
Algum B é A
Algum A não é B
Algum B não é A

Algum homem é feliz.

H F

Todo feliz é sorridente.

H
F

S
20

Conclusão: Algum homem é sorridente.

a) Macetes para decorar:

1. O termo médio (que liga as premissas) – no caso


acima, é a palavra feliz –, nunca estará na conclusão.

Deve-se analisar os quantificadores lógicos.

FORTE todo
nenhum
algum
FRACO algum... não

2. A conclusão nunca será mais forte do que uma


premissa.

3. A conclusão nunca será negativa se as premissas


forem positivas
Atenção para as seguintes afirmativas erradas que
aparecem em provas:

 Toda premissa de um argumento válido é


verdadeira x
 Se a conclusão é falsa, o argumento não é válido
x
 Se a conclusão é verdadeira, o argumento é válido
x

A questão não é saber se as premissas são


verdadeiras ou falsas, mas sim se as premissas são
21

válidas, o que faz com que a conclusão seja válida,


bem como o argumento. √

Você também pode gostar