Você está na página 1de 47

P

-
7 somente muito
Engordo se como .

Se p entao q muito
,
engordo , logo como .

p somente
seq .
Se engorda entramo
,
muito .

q ,
se
p
Como muito
,
se
engordo .

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


peço
se e somente se
q
p
⑨ somente
p
se
q p se
q
.

Frei
p

q (q →
plnlp g)→

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Bicondicional p ←
q ⇐ (p →
g) nlq →
p)

Conectando duas proposições p, q através do conectivo bicondicional, obtemos


uma nova proposição # ⟷ %, que se lê “p se e somente se q”.

O bicondicional equipara-se à conjunção de dois condicionais


# → % e % → #.

pt-PE

V F F V F F
-F
F
Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09

Q
p q p q p n

VF vv
V V V
V F F

FF

F F v

componentes possuem valores


verdadequando iguais
.

é os
p ←
q
é falsa quando os componentes possuem
valores diferentes .

p ←
q

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


O bicondicional # ⟷ % é verdadeiro quando p e q são ambos verdadeiros ou ambos
falsos, e falso, quando p e q têm valores lógicos diferentes.

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


) µ
µ

!
o

pipi iii. iiiiii


µ

Regraparaserr : "
Não
! " !∧" !∨" !∨" !→" !⟷"
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

Regra para serrar


!çÍ.ir?iIa!j:sp!iY!ay:m .

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(IADES 2019/CAU-AC)

Considere as seguintes proposições: > NA :b


(F)
/
A: O número 10 é ímpar;
B: A raiz quadrada de 16 é um número inteiro. ( v )

Com base no exposto, assinale a alternativa correta.


a) A conjunção entre as duas proposições tem valor lógico verdade. A
b) A disjunção entre as duas proposições tem valor lógico falso. (F)
c) A condicional entre as duas proposições tem valor lógico verdade. CV )

d) A bicondicional entre as duas proposições tem valor lógico verdade. (F)
e) A negação de ambas as proposições tem valor lógico falso.

a) Fev F -
-

b) Forever c) f- → V d) F

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


p q vp npvq p Cnpq)
Tabela-Verdade

A tabela-verdade dispõe todas as relações entre os valores lógicos das


proposições. Tabelas-verdade são especialmente usadas para determinar os
valores lógicos de proposições construídas a partir de proposições simples.

Por exemplo construir a tabela verdade de p Cnpvq ) é


,
- →

determinar quais as condições para que p Cnpq ) seja verdadeira →

→ Cnpq )
e as condições para que
p seja falsa .

p q np vpvq p → Cnpvq )

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Número de linhas de uma Tabela-Verdade
A tabela verdade de-
uma
proposição composta pelas
"

proposições simples pe , pa , _ . -

, pn tem 2. 2- . . .
-
2--2 linhas .

p q r
p p 7 v v v
✓ V V v v F
V F
f- V F V
F V
V F F
F F f v v
F V F
F F V
F F F
Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09
p q r s

v v v v
✓ v V F
V V F V
✓ V F F
✓ F V v
✓ F V F
V F F V

V F F F
F V v v
F V v
f
F U F U
F V F F
F F V V

F F U F
F f f V

F F F F
Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09
Construa a tabela-verdade da proposição # ∧ ~% → ~# .

p q nq pnnq np (pnvq ) xp
-

✓ V F F F V

V F V V F F
F V F F V V

F F V F V V

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Construa a tabela-verdade da proposição # ∧ ( → (~% ∨ () .
TAUTOLOGIA

p q r
nq pnr nqvr ( pnr) -
Cnqvr)
✓ v V F V V V
✓ ✓ F F F F V
✓ F V V V V V

V F F V F V V
F V V F F V V
F U F F F F V
F F U V F V V
F F F V F V V

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(AOCP 2019/PC-ES)

Considere a proposição: “O contingente de policiais aumenta ou o índice


de criminalidade irá aumentar.”. Nesse caso, a quantidade de linhas da
tabela verdade é igual a

a) 2.


b) 4. A- 2 → 2%22=4 linhas
c) 8.

d) 16.

e) 32.

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(CESPE 2019/PGE-PE)

Acerca da lógica sentencial, julgue o item que se segue.

Se P, Q, R e S forem proposições simples, então a tabela-verdade da


proposição P∧Q→R∨S terá menos de 20 linhas.

2- 2. 2.2--16 linhas
Certo
Ê -

-16 linhas

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(CESPE 2019/PGE-PE)
Há 5 proposições simples envolvidas .

de linhas é 2. 2. 2.22=32 .

Considere as seguintes proposições. O número

• P1: Se a empresa privada causar prejuízos à sociedade e se o governo interferir na


sua gestão, então o governo dará sinalização indesejada para o mercado.

• P2: Se o governo der sinalização indesejada para o mercado, a popularidade do 25=32 =


governo cairá.

• Q1: Se a empresa privada causar prejuízos à sociedade e se o governo não interferir


na sua gestão, o governo será visto como fraco.

• Q2: Se o governo for visto como fraco, a popularidade do governo cairá.

Tendo como referência essas proposições, julgue o item seguinte, a respeito da lógica
de argumentação.

A tabela-verdade da proposição P1∧P2∧Q1∧Q2 tem mais de 30 linhas. certo .

-
-

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(CESPE 2018/PC-MA)

Proposição CG1A5AAA

A qualidade da educação dos jovens sobe ou a sensação de segurança da


sociedade diminui.

A quantidade de linhas da tabela-verdade correspondente à proposição


CG1A5AAA é igual a

a) 2.

b) 4.
c) 8.
2-2--4
d) 16.
e) 32.

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(FUNDATEC 2019/CM Gramado)

Dadas as proposições P , Q e R , o número de linhas da tabela-verdade da


proposição composta (+ ∧ ,) ⟹ . é:

A) 3.
B) 4.
C) 5.

D) 8. 2. 2.2=8
E) 10.

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(FCC 2017/TRE-SP)

Considere que uma expressão lógica envolva candidato (C), cargo político (P),
votos (V) e ganhador (G). Para avaliar se uma dada expressão é verdadeira ou
não, um Técnico deve usar uma Tabela da Verdade, que contém uma lista
exaustiva de situações possíveis envolvendo as 4 variáveis. A Tabela da
Verdade deve ter 4 colunas e

a) 8 linhas.

b) 16 linhas.
c) 4 linhas. 2. 2.2-2=16
d) 32 linhas.
e) 64 linhas.

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


V F VIF
Tautologia, Contradição e Contingência
↳ pode Vou F-
↳ Proposição composta
[
ser

que
é invariavelmente falsa .

Proposição composta que é invariavelmente verdadeira .

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Proposições Importantes
LH tautologia
pvvp
:
Tautologia p →
p : .

pnnp
: contradição (c) pap :
tautologia .

p → t :
Tautologia p

up :
contingência .

Proposições compostas que


cada
Tautologia
em
[ →
p :

proposição simples
uma
aparece apenas
vez
são
contingências .

Ex :p sqiprnqilpn
- → rilpvnqtslrrs)
Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09
Diapratrar !

:*
Contradição
.
p÷÷ .

conjunto vazio

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


P Q
item
Julgue o .

A proposição ( pq ) → ( pvq ) é uma


tautologia .

PÉ Certo
-

FVFVVF
F F F V
"

tente forçar
Para decidir se tautologia
a

é ou não uma ,

barra
"
a
proposição seja falsa
Se não for possível
para que
.

torná la -

falsa , a
proposição é uma
tautologia .

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


E
vivi ftp.
viu Â
¥ ? I fautoeogi e .
item
Julgue o .

A proposição ( pvq ) → ( pnq ) é uma


tautologia .

p q pvq pnq (pvq) →


lprqt

F

contingência .

}
✓ E vr
É possível
.

( pvq) → ( pnq )
a
que
proposição seja falsa
§
.

§ i. Não é
tautologia .

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(FUNDATEC 2019/CM Gramado)

Trata-se de um exemplo de contingência a proposição da alternativa:

a) ! ∨ ¬! → Tautologia
b) ! ⇒ %
c) ! ⇔ ! Í contingência .

d) ¬% ⇒ ¬% → tautologia
e) ! ∧ ¬!
\ contradição

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(Instituto AOCP 2019/PC-ES/Auxiliar de Perícia)

Considere a seguinte proposição: “Neste concurso, Pedro será aprovado ou


não será aprovado.”. Analisando segundo a lógica, essa afirmação é um
exemplo claro de

a) contradição.

%:: ÜÍ%ÍÊ
"
b) equivalência.
c) redundância. "
d) repetição.

e) tautologia.

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(Instituto AOCP 2019/PC-ES/Investigador)

Considerando p e q duas proposições quaisquer, assinale a alternativa que


representa, logicamente, uma tautologia.
a) ∼p ∧ p
ãntinncia

b) ∼p ∧ ∼q
c) (p ∧ q) → (p ∨ q)

d) (p ∨ q) → (p ∧ q)
e) p ∨ q

tcontingência

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


(FUNDATEC 2019/GRAMADOTUR)

Trata-se de um exemplo de tautologia a proposição:


contingência
.

a) Se dois é par então é verão em Gramado. →


b) É verão em Gramado ou não é verão em Gramado.

c) Maria é alta ou Pedro é alto. → contingência .

pvvp
d) É verão em Gramado se e somente se Maria é alta.
e) Maria não é alta e Pedro não é alto.

contingência .


contingência .

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Se
p
e
q
são
proposições compostas e

a
proposição p

q é uma
tautologia ,

dizemos que p implica q .

Em símbolos
,
p q .

há linha
Isso
significa que
não na

tabela verdade - com


p
verdadeiro e
q falso .

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Modus Ponens: ) ∧ ) → + →+

× P x-p antes) dias p



Essa tautologia será

vista em outro momento


do
F v V F V
curso como uma
regra
de inferência .

p →
q

Implica
anla-pkpp.iq
Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09
Demonstre que as seguintes proposições são tautológicas:

Modus Tollens: ¬+ ∧ ) → + → ¬)

× p np x-p npncx sp)


-
na
hmmm) -
na

V V F V F F v
✓ F V F F 7- V
F V F V F v V
F F v v v v v

Implicação Regateia p q
-

) ←
pneus
-
na
i. np
Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09
Demonstre que as seguintes proposições são tautológicas:

Silogismo disjuntivo: ) ∨ + ∧ ¬) → +

° P smp na
captura ( carpina) p

degrade
-

Inferência
V F F V
-

✓ V

Fv pvq
In
-
i.
q
F F F V F V
pvq
Implicação Lógica Carpina : p ←
←p

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Principio da explosão: ) ∧ ¬) → +

[ →
p :
tautologia .

o p no ano (amo ) → p
v v F F V
✓ F F F V
F v v F V
F F V F V

Implicação lógica : arma


p
Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09
Demonstre que as seguintes proposições são tautológicas:

Lei de Dun Scot: ¬) → ) → +

× p na x-p → → (x-p ) Forçando a barra _ _ .

v F

LEI )
V F

F F v v v

ra-scx-spnaop.de
Implicação lógica : → x-p ser falsa .

i. É tautologia .

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Lei distributiva: ) ∧ + ∨ , ⟷ )∧+ ∨ )∧,

xp rpvr arlpvrlxrp xrr capivara) p


✓ v v v v v v v v
v v f v v v F V V

V F V v V F V v v

✓ F F F F F F F V

f- v v v F F F F V

F U F U F F F F V

F F V V F F F F U
F F F F F F F F V

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


proposições compostas peq ) )
Considere duas .

amplo lxnpprlxri
8)
se a
proposição p
-
q for uma
Cdnpplanp xrlpv
)

tautologia dizemos que proposições


,
as

p q sao logicamente equivalentes


e .

é uma
não
símbolos , Isso
proposi ç ão
Em
entre
.

- nova
relação
p ⇐ q
E- uma
.

proposições
.

Em outras palavras , p ⇐
q
se

mesmos
exemplo
os
p q possuem sempre
e

No nosso ,
valores
lógicos .

verificamos que
mph # Imprensa
Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09
Demonstre que as seguintes proposições são tautológicas:

Lei distributiva: ) ∨ + ∧ , ⟷ )∨+ ∧ )∨,

Equivalência lógica xvlpwt ) : (xvp) nlovt)

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Lei Idempotente: ) ∧ ) ⟷ )

ano #a

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Lei de Absorção: ) ∧ ) ∨ + ⟷)

ANCAUB) -
A

equivalência Lógica
-

A B
) # a
ancas

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Exportação/Importação: ) → + → , ⟷ )∧+ →,

× p rp-srx-sp-sh.ms Cmp ) → r em Deformar]


✓ v v v v v v v
v V F F F v F V

✓ F V V V F V V

F F V V F V v

F V v V V F V V

F V F F V F V V
F F v V V F V V

F F E V V F V V

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Exportação/Importação: ) → + → , ⟷ )∧+ →,

Equivalência (anp ) r
a (p 8)
→ ⇐ →

lógica

,

então tomo banho de mar .

Se
faz sol então ,
se roa
à
praia ,

à então tomo banho de mar .

Se
fez sol e vou praia ,

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


arp pra
xvp ⇐
pra

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Troca de premissas: ) → + → , ⟷ +→ )→,

Caso)
× → (p → o ) ⇐ Corp ) → o ( prato ⇐ p →

[p (x-D]
Dizer que @ par)] → ← →
é uma

tautologia é o mesmo
que dizer que
Caso)
a→ UH # p →

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Demonstre que as seguintes proposições são tautológicas:

Lei de Peirce: )→+ →) →)

× p x-p Lanka ( cm → a) → x

F
a
Implicação ( Ap) → x

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Uso dos parênteses
Construa as tabelas-verdade das proposições . → (0 ∧ 1) e (. → 0) ∧ 1.

p q rqrrp-sqp-scqrrllp-sq.hr
FF

VFVFFFFVFFFFFFF
FF
FV

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Os parênteses (ou parêntesis) são usados, com toda naturalidade, para
indicar a dominância ou preferência relativa entre os símbolos. Porém, para
evitar o uso excessivo de sinais de pontuação, convencionamos algumas
regras para diminuir a “poluição visual”.

As convenções são as seguintes:


i) O símbolo de negação (~ 45 ¬) abrange o menor enunciado possível.
ii) Os símbolos → e ⟷ têm preferência sobre ∧ e ∨.

vp →
qvr
(vp) → ( qvr )

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Assim, por exemplo, a proposição . ∧ ~0 → ~1 ∧ 6 só poderá ser lida da
seguinte forma:

(pra →
Certas )

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09


Também se terá para . → 0 ∧ 1 uma leitura: . → (0 ∧ 1). Desejando-se ter
(. → 0) ∧ 1, os parênteses não podem ser omitidos.

Observe que as convenções dadas aqui não esclarecem casos como:

} pvoposiçõesambíguas
.∧0∨1

.⟷0⟶1

Onde, novamente, os parênteses são INDISPENSÁVEIS.

Licensed to Bruno Correia Santos - brunocorreia_16@hotmail.com - 055.947.735-09

Você também pode gostar