RACIOCNIO LGICO

3 a 4 minutos por questo

ESTRUTURAS LGICAS
PROPOSIO OU AFIRMAO
Toda lgica depende disso
Proposio proposta tomada por posio
Afirmao opinio objetiva
DEFINIO: toda sentena expressa por palavras ou smbolos, que
exprime um juzo ao qual se pode atribuir, dentro de cada contexto,
somente de dois valores lgicos possveis verdadeiro ou falso.
Se uma proposio, voc deve ser capaz de entender ou ler.
uma sentena fechada. A informao quando lida ou ouvida, ela
entendida, de tal forma , que voc consegue dizer que ela verdadeira ou
falsa. Se voc l uma afirmao, ou algum afirma algo para voc e se
consegue dizer, est errado, falso, ela uma proposio, mesmo
sendo uma informao falsa, mesmo sendo uma ideia errada.
CONSIGO ENTENDER E AFIRMAR QUE ELA VERDADEIRA OU
FALSA.
Observao 1: Nenhuma proposio poder ser verdadeira e falsa
ao mesmo tempo, ou seja, no poder ocorrer dvida em relao a sua
valorao.
Acontece da seguinte maneira. Quando tenho uma proposio, eu
leio e entendo, rapidamente digo que verdadeira ou falsa. Se eu leio
uma proposio e no consigo entender nada, no consigo dizer se
verdadeira ou falsa, esta proposio, no uma proposio. Esta
sentena no uma SENTENA FECHADA, chamada de SENTENA
ABERTA,
SENTENA ABERTA aquela informao que no completa, voc
no consegue dizer que ela verdadeira, no consegue dizer que ela
falsa. Logo, ela no PROPOSIO e sim, SENTENA ABERTA.
Em contrapartida , temos um outro problema. Se eu leio uma
informao e ora digo que ela verdadeira, ora digo que ela falsa, ou
seja, ao mesmo tempo ela verdadeira ou falsa, no pode ser uma
PROPOSIO, pois para ser, tem de ser verdadeira ou falsa. No pode

ser as duas coisas ao mesmo tempo. Isso no uma PROPOSIO,

chamamos isso de PARADOXO, quando no consigo dizer que ela
verdadeira e falsa ao mesmo
tempo. Macete para identificar um
PARADOXO: Os mais simples acontecem da seguinte forma, eu sou o
dono da afirmao, voc leu, voc escutou, ento voc que d o valor
lgico, eu sou o dono da afirmao, eu sou o dono da proposio, eu
sou o dono da opinio, mas no sou o dono do valor lgico. Ento se eu
dou valor lgico minha prpria proposio, estou criando um
PARADOXO. Ela no uma proposta tomada de deciso, eu estou
forando voc a aceitar a minha opinio e isso no PROPOSIO.
Se eu digo ento que a min h opinio verdadeira, estou
colocando uma sentena para fora. Eu dei valor lgico minha prpria
opinio. Isso j um PARADOXO. Ou se eu digo para voc que eu pensei
errado, estou dizendo algo que errado, forcei voc a um PARADOXO.
A partir do momento que a PROPOSIO j carrega no meio dela,
a frase carrega no meio dela a ideia de verdadeiro ou de falso, ele diz
que verdadeiro ou falso, j temos certeza de que isso no uma
PROPOSIO, um PARADOXO. VERIFICAR SE EST CORRETO.
Observao 2: Para toda proposio existe uma representao
simblica, a qual adotaremos as letras do alfabeto.
muito comum darmos letras do alfabeto uma PROPOSIO.
Para no ficarmos repetindo toda hora a mesma frase, usamos essas
letras, ou teremos que toda hora que repetir todas aquelas palavras,
jogando para um lado, jogando para o outro. A ideia de SIMBOLISMO,
chama-los de letras, reduz o tamanho, e lembre-se que na prova tenho
dois centmetro de imagem, quanto menos escrever, melhor fica.
Proposio Simples:
EXEMPLO:
p: J Soares gordo.
q: Pel argentino.
r: Ronaldinho jogador de futebol.
Todas as frases tm julgamento independente. So Proposies Simples,
quer dizer, cada uma exprime apenas um aspecto.
Em contrapartida encontra ideia de Proposio Composta.

Proposies Compostas:
So proposies simples ligadas, ou melhor, conectadas atravs
dos operadores lgicos que so: e; ou; se ... ento; se; somente se.
Carregam duas ou mais ideias, que so ligadas atravs de conectivos
lgicos.

CONJUNES- OPERADORES LGICOS

e; ou; se ... ento; se; somente se

Ex: J Soares gordo e Pel Argentino.

Ideia 1

Ideia 2

ligadas pela ideia do e

(chamada de conjuno)
Na Lgica da Matemtica, na Lgica Sentencial, no Raciocnio Lgico,
cada operador carrega uma informao, ele carrega uma ordem. Como
vemos no Excel, como vemos na Linguagem de Programao, cada um
deles carrega uma ordem especfica pra PROPOSIO.
Toda sentena expressa por palavras
A informao quando lida , ela e entendida, e voc afirma se e verdadeira
ou falsa, ela e uma proposio, mesmo sendo verdadeira ou falsa.
AS PROPOSIES COMPOSTAS DEPENDEM DOS CONECTIVOS
LGICOS.
Cada conectivo carrega uma ordem.
CONECTIVOS
Conjuno; e, similar (mas); smbolo: ^
Ex: J Soares magro e Pel argentino.

Representao: p ^ q
P e q (P mais q)

Calculo Sentencial: Somente ser verdadeira se todas as PROPOSIES

envolvidas forem verdadeiras (V). Caso contrrio ser falsa (F).
Similar ao que voc fazia no Portugus, percebo que esse perodo
composto por duas oraes, tenho dois verbos, logo, carrego duas
ideias, e vou procurar esse conectivo que est ligando que o e. uma
frase grande, tenho dois centmetro de imagem. Ento, o que seria
melhor, trabalhar com isso, ou trabalhar apenas com a estrutura, que o
que importa para a gente nesse contexto lgico.
Ex: J Soares magro- isso condiz com a verdade? NO. Ento uma
PROPOSIO FALSA
Pel argentino? SIM. Ento uma PROPOSIO VERDADEIRA.
MAS NAS DUAS, TENHO UMA FRASE QUE FALSA
Somente ser verdadeira se todas as PROPOSIES envolvidas forem
verdadeiras
Ento essa PROPOSIO FALSA.
Disjuno; ou; smbolo
Ex: Felipe Massa cantor ou Pel brasileiro.

Representao: p q
P ou q (p e q)

Clculo Sentencial: Somente ser falsa, se todas as proposies

envolvidas forem falsas (F). Caso contrrio ser verdadeira (V).
OBS: No Portugus as pessoas carregam o sentido do OU tem a ideia de
alternativo
Ex: Joo est na escola ou Maria est no mercado.

Duas pessoas diferentes, podem fazer a ao ao mesmo tempo. Nesse

caso, tem a funo aditiva.
Ao contrrio do e, temos um problema. A Proposio s vai ser falsa,
se tudo for falso. Caso contrrio ela sempre vai ser verdadeira.
Nessa Proposio Composta: Felipe Massa cantor ou Pel brasileiro.
Felipe Massa cantor NO cantor. A proposio falsa (F)
Mas, Pel brasileiro
MESMO COM UMA DELAS SENDO FALSA, ELA SE TORNA VERDADEIRA.
A PROPOSICO VERDADEIRA.
Disjuno Exclusiva; ou...ou; smbolo v
Ex: OU Marcos carioca OU baiano.
Esse ou no alternativo, ele exclusivo. As duas aes no podem
acontecer ao mesmo tempo.
A ideia de exclusividade est no SNDETO, carrega uma informao, no
no conectivo.

Representao: p q
P OU exclusivo q

OBS: Prof. Morgado lanou a Teoria da Expresso de Exclusividade. A

conjuno pode ser colocado no final de uma Disjuno Inclusiva, ou
seja, a Disjuno estudada anteriormente, e se tornar essa frase
exclusiva.
Ex: Joo vai para a escola OU Maria est no mercado, mas no ambos,

(expresso de exclusividade).
O primeiro passo cria uma proposio exclusiva? No. Duas
pessoas diferentes, fazendo coisas diferentes, no proibido que faam
ao mesmo
tempo. Porem, voc encontra uma expresso de
exclusividade, mas no ambos. O no ambos nos garante que no
podem acontecer duas coisas ao mesmo tempo. Posso encontrar
tambm como: nunca os dois, mas no ambos, nunca ambos, no
simultaneamente. Isso transforma qualquer Disjuno Inclusiva em
Exclusiva

EXPRESSO DE EXCLUSIVIDADE
nunca os dois, mas no ambos, nunca ambos, no simultaneamente.

Calculo Sentencial: Somente ser verdadeira se as duas proposies

envolvidas forem opostas. Caso contrrio ser falsa.
Bem especfico, as DUAS proposies envolvidas. Pois, se elas precisam
swer opostas, uma ter de ser verdadeira e a outra falsa, no existe um 3
valor lgico, logo s podemos trabalhar com 2 proposies
Ex: OU Marcos carioca OU baiano.
Uma delas tem de ser falsa. Ou ele baiano, ou carioca.Uma
verdadeira e outra falsa.
Conectivo; condicional; se ... ento; smbolo
Em algumas bancas ele citado como IMPLICAO.
Na realidade o se condicional, o ento facultativo. O ento ,
uma assero que abre a ideia para que voc tenha uma concluso.
Ex: Se cavalo voa, ento, jumento fala.
F

uma ideia para mexer com seu emocional. Lgica sentencial, no

pode ter emoes. Devemos ser frios e analisar as coisas como
verdadeiro e falso.

Se cavalo voa - A primeira frase se coloca entre o se e o ento,

essa a minha condio.
Jumento fala A segunda frase passa a ser minha concluso.
Representao: p

A condio implica na
concluso.
Seta sempre apontando
para a concluso

Calculo Sentencial: Somente ser falsa se a 1 Proposio for verdadeira

(V) e a 2 for falsa (F). Caso contrrio ser verdadeira (V).
Trabalhamos com a ideia de que uma condio sendo verdadeira,
jamais poder implicar numa concluso falsa. Se eu atendo condio, como
no posso atender concluso. ESSA IDEIA QUE PRECISA SER
TRABALHADA.
Falso com Falso vai me dar um Proposio verdadeira.
Bicondicional; duas condies; se, e somente se, smbolo
Uma passa a ser condio da outra e vice e versa. Ou seja, uma garante
o valor lgico da outra. Uma garante a veracidade da outra, ou uma garante a
falsidade da outra.
Duas frases interligadas por se e somente se

Representao: p

P se e comente se q.

Ex: O tringulo uma figura de 4 lados se e somente se Paria fica

Europa.
F

V
Toda a proposio FALSA.

Calculo Sentencial: Somente ser verdadeiro, se as duas proposies

forem equivalentes, ou seja, tiverem o mesmo valor lgico, caso
contrrio ser falso.
Duas proposies lgicas verdadeiras, me do valor lgico verdadeiro.
Duas proposies falsas me do valor lgico VERDADEIRO.
Somente ser falsa se forem opostas, uma falsa e uma
verdadeira e vive e versa.
Negao; modificador; smbolo ~ ,
Negao no a frase que contm o NO. Pelo contrrio, NEGAO
MUDANA DO VALOR LGICO.

O que era falso vira verdadeiro e o que for verdadeiro vira falso.
Representa a mudana do valor lgico, aquilo que se apresenta
verdadeiro passa a ser falso e o que se apresenta falso, passa a ser
verdadeiro.
Ex: p: A galinha pe ovo.- V
p: A galinha no pe ovo.

Indica que foi modificada

Lemos que A proposio A p passa a ser falsa.

TABELA VERDADE

DEFINIO: Resumo do valor lgico da unio das proposies.

OBS: O nmero de linhas de uma tabela verdade dada pela relao 2n.
O valor lgico de uma sentena composta est relacionado ao conectivo
de ligao e a valorizao de cada sentena simples da frase.

Qual proposio abaixo falsa?

Formas de Argumentos Bsicos e Derivados

Nome

Modus Ponens

Modus Tollens

Sequncia

((p q) p)
q

((p q) q)
p

((p q)
Silogismo Hipottico

(q r))
(p r)

Silogismo Disjuntivo

((p q) p)
q

((p q)
Dilema Construtivo

(r s) (p r))
(q s)

((p q)
Dilema Destrutivo

(r s) (q
s)) (p r)

Simplificao

(p q) p

Descrio

Se p ento q; p; consequentemente q

Se p ento q; no q; consequentemente no p

Se p ento q; se q ento r;
consequentemente, se p ento r

p ou q; no p; consequentemente, q

Se p ento q; e se r ento s; mas p ou r;

consequentemente q ou s

Se p ento q; e se r ento s; mas no q ou

no s; consequentemente no p ou no r

p e q so verdadeiros; consequentemente p
verdadeiro.

p e q so verdadeiros separadamente;
Conjuno

p, q (p q)

consequentemente eles so verdadeiros

conjuntamente

Adio

p (p q)

p verdadeiro; consequentemente a

disjuno (p or q) verdadeira

((p q)

Se p ento q; e se p ento r;

(p r)) (p

consequentemente se p verdadeiro

(q r))

ento q e r so verdadeiros

Teorema de De

(p q)

A negao de (p e q) tem como consequncia

Morgan (1)

(p q)

(no p ou no q)

Teorema de De

(p q)

A negao de (p ou q) tem como

Morgan (2)

(p q)

consequncia (no p e no q)

Composio

Commutao (1)

Commutao (2)

Associatividade (1)

Associatividade (2)

(p q)
(q p)

(p q)
(q p)

p ou (q ou r) tem como consequncia (p ou q)

((p q) r)

ou r

(p (q r))
((p q) r)

((p q)
(p r))

(p (q r))
Distributividade (2)

(p e q) tem como consequncia (q e p)

(p (q r))

(p (q r))
Distributividade (1)

(p ou q) tem como consequncia (q ou p)

((p q)
(p r))

p e (q e r) tem como consequncia (p e q) e r

p e (q ou r) tem como consequncia (p e q) ou

(p e r)

p ou (q e r) tem como consequncia (p ou q) e

(p ou r)

Dupla Negao

Transposio

Implicao Material

Equivalncia
Material (1)

Equivalncia
Material (2)

p p

p tem como consequncia a negao de

no p

(p q) (q Se p ento q tem como consequncia se

p)

no q ento no p

(p q)

Se p ento q tem como consequncia

(p q)

no p ou q

(p q)

(p equivalente a q) significa que, (se p

((p q)

verdadeiro ento q verdadeiro) e (se q

(q p))

verdadeiro entop verdadeiro)

(p q)
((p q) (q
p))

Equivalncia

(p q) ((p

Material (3)

q) (q p))

(p equivalente a q) significa que, (p e q so

verdadeiros) ou (ambos p e q so falsos)

(p equivalente a q) significa que ambos

(p ou no q verdadeiro) e (no p ou q
verdadeiro)

De (se p e q so verdadeiros ento r

Exportao

((p q) r)

verdadeiro) podemos demonstrar (se q

(p (q r))

verdadeiro ento r verdadeiro, se p

verdadeiro)

Importao

Tautologia (1)

(p (q r))
((p q) r)

p (p p)

De (se p ento (q ento r) verdadeiro)

podemos demonstrar que ((p q) r)
verdadeiro

p verdadeiro tem como consequncia p

verdadeiro ou p verdadeiro

Tautologia (2)

p (p p)

p verdadeiro tem como consequncia p

verdadeiro e p verdadeiro

Tertium non datur

(Lei do Terceiro
Excludo)

(p p)

p ou no p verdadeiro