Escolar Documentos
Profissional Documentos
Cultura Documentos
-
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 .
Frei
p
←
q (q →
plnlp g)→
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
é os
p ←
q
é falsa quando os componentes possuem
valores diferentes .
p ←
q
!
o
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
a) Fev F -
-
b) Forever c) f- → V d) F
⑦
→ Cnpq )
e as condições para que
p seja falsa .
p q np vpvq p → Cnpvq )
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
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
a) 2.
•
b) 4. A- 2 → 2%22=4 linhas
c) 8.
d) 16.
e) 32.
2- 2. 2.2--16 linhas
Certo
Ê -
-16 linhas
de linhas é 2. 2. 2.22=32 .
Tendo como referência essas proposições, julgue o item seguinte, a respeito da lógica
de argumentação.
-
-
Proposição CG1A5AAA
a) 2.
•
b) 4.
c) 8.
2-2--4
d) 16.
e) 32.
A) 3.
B) 4.
C) 5.
•
D) 8. 2. 2.2=8
E) 10.
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.
que
é invariavelmente falsa .
pnnp
: contradição (c) pap :
tautologia .
p → t :
Tautologia p
→
up :
contingência .
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
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 .
F
↳
contingência .
}
✓ E vr
É possível
.
( pvq) → ( pnq )
a
que
proposição seja falsa
§
.
§ i. Não é
tautologia .
a) ! ∨ ¬! → Tautologia
b) ! ⇒ %
c) ! ⇔ ! Í contingência .
d) ¬% ⇒ ¬% → tautologia
e) ! ∧ ¬!
\ contradição
a) contradição.
%:: ÜÍ%ÍÊ
"
b) equivalência.
c) redundância. "
d) repetição.
•
e) tautologia.
tcontingência
↳
contingência .
a
proposição p
→
q é uma
tautologia ,
Em símbolos
,
p q .
há linha
Isso
significa que
não na
Modus Ponens: ) ∧ ) → + →+
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: ¬+ ∧ ) → + → ¬)
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
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
v F
LEI )
V F
F F v v v
FÉ
ra-scx-spnaop.de
Implicação lógica : → x-p ser falsa .
i. É tautologia .
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
amplo lxnpprlxri
8)
se a
proposição p
-
q for uma
Cdnpplanp xrlpv
)
é 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 Idempotente: ) ∧ ) ⟷ )
ano #a
Lei de Absorção: ) ∧ ) ∨ + ⟷)
ANCAUB) -
A
equivalência Lógica
-
A B
) # a
ancas
Exportação/Importação: ) → + → , ⟷ )∧+ →,
✓ 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
Exportação/Importação: ) → + → , ⟷ )∧+ →,
Equivalência (anp ) r
a (p 8)
→ ⇐ →
lógica
→
,
Se
faz sol então ,
se roa
à
praia ,
Se
fez sol e vou praia ,
Caso)
× → (p → o ) ⇐ Corp ) → o ( prato ⇐ p →
[p (x-D]
Dizer que @ par)] → ← →
é uma
tautologia é o mesmo
que dizer que
Caso)
a→ UH # p →
× p x-p Lanka ( cm → a) → x
F
a
Implicação ( Ap) → x
p q rqrrp-sqp-scqrrllp-sq.hr
FF
VFVFFFFVFFFFFFF
FF
FV
vp →
qvr
(vp) → ( qvr )
(pra →
Certas )
} pvoposiçõesambíguas
.∧0∨1
.⟷0⟶1