Aula 04
-
Upload
cleiane-oliveira -
Category
Education
-
view
55 -
download
2
Transcript of Aula 04
![Page 1: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/1.jpg)
Lógica
Matemática Aula 04
![Page 2: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/2.jpg)
Condicional()
![Page 3: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/3.jpg)
Condicional
Chama-se proposição condicional uma
proposição representada por “se p então
q”.
pq
Se p então q
p implica q
![Page 4: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/4.jpg)
Condicional
pq
p é antecedente
q é consequente
![Page 5: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/5.jpg)
Condicional
pq
p é condição suficiente para q
q é condição necessária para p
![Page 6: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/6.jpg)
Condicional
pq
Se p então q;
p implica em q;
p somente se q;
p é condição suficiente para q;
q é condição necessária para p.
![Page 7: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/7.jpg)
Condicional
Se amanhã é domingo, então hoje é
sábado.
Se eu estudo, então obtenho uma boa
nota na prova.
Se está chovendo, então existem nuvens.
Se João vai à Igreja, então João é uma
boa pessoa.
![Page 8: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/8.jpg)
Condicional Se está chovendo, então existem nuvens.
p: Está chovendo.
q: Existem nuvens.
Estar chovendo implica existir nuvens.
Está chovendo somente se existem nuvens.
Estar chovendo é condição suficiente para existir nuvens.
Existir nuvens é necessário para estar chovendo.
![Page 9: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/9.jpg)
Condicional
Se está chovendo então existem nuvens.
Estar chovendo (A) é condição suficiente
para existir nuvens (B).
Basta que A seja verdade para B
também ser verdade.
![Page 10: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/10.jpg)
Condicional
Se está chovendo então existem nuvens.
Existir nuvens (B) é condição necessária
para estar chovendo (A).
![Page 11: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/11.jpg)
Condicional
Quando uma condicional é verdadeira?
Se está chovendo então existem nuvens.
A condicional é verdadeira quando a
verdade do antecedente implica na
verdade do consequente.
V → V = V
![Page 12: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/12.jpg)
Condicional
Quando uma condicional é falsa?
Se está chovendo então existem nuvens.
A condicional é falsa quando a verdade
do antecedente não implica na verdade
do consequente.
V → F = F
![Page 13: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/13.jpg)
Condicional E as outras situações? Quando o antecedente é
falso?
Se está chovendo então existem nuvens.
A condicional só afirma a relação entre
consequente e antecedente, quando o antecedente é verdadeiro.
Se o antecedente é falso não temos como mostrar que a condicional é falsa.
F → V = V
F → F = V
![Page 14: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/14.jpg)
Condicional
VV = V
VF = F
FV = V
FF = V
p q pq
V V V
V F F
F V V
F F V
![Page 15: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/15.jpg)
Condicional
VV = V
Se de fato a verdade de p
se fizer seguir da de q, ou
seja, se p for de fato
suficiente para q, a
implicação é verdadeira.
p q pq
V V V
V F F
F V V
F F V
![Page 16: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/16.jpg)
Condicional
VF = F
p não é suficiente para q,
assim, a implicação é falsa.
p q pq
V V V
V F F
F V V
F F V
![Page 17: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/17.jpg)
Condicional
FV = V
FF = V
p não é satisfeito, é falso.
Tanto q sendo V ou F,
tornam a implicação
verdadeira.
p q pq
V V V
V F F
F V V
F F V
![Page 18: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/18.jpg)
Condicional
p: João é engenheiro.
q: João sabe matemática.
p q
Se João é engenheiro
então sabe matemática.
p q pq
V V V
V F F
F V V
F F V
![Page 19: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/19.jpg)
Condicional
Se João vai à igreja, então João é uma
boa pessoa.
O que seria necessário para mostrar que
essa afirmação é falsa?
![Page 20: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/20.jpg)
BiCondicional()
![Page 21: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/21.jpg)
BiCondicional
Chama-se proposição bicondicional uma
proposição representada por “p se e
somente se q”, cujo valor lógico é a
verdade (V) quando p e q são ambas
verdadeiras ou ambas falsas, e a
falsidade (F) nos demais casos.
p se e somente se q
p q
![Page 22: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/22.jpg)
BiCondicional
p q
p é condição necessária e suficiente para q
q é condição necessária e suficiente para p
(p q) ∧ (q p)
![Page 23: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/23.jpg)
BiCondicional
VV = V
VF = F
FV = F
FF = V
p q pq
V V V
V F F
F V F
F F V
![Page 24: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/24.jpg)
BiCondicional
João é careca, se e somente se, João não tem cabelo.
p: João é careca.
q: João não tem cabelo.
pq:
Se João é careca, então João não tem cabelo e
Se João não tem cabelo, então João é careca.
![Page 25: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/25.jpg)
BiCondicional
p: João é careca.
q: João não tem cabelo.
pq
p q pq
V V V
V F F
F V F
F F V
![Page 26: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/26.jpg)
Ordem de precedência
Negação (~)
Conjunção
Disjunção
Condicional
Bicondicional
![Page 27: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/27.jpg)
Ordem de precedência
p q r
(p (q r))
Bicondicional
p ∨ ~q q ∧ r
p ∨ (~q) q ∧ r
((p ∨ (~q)) ( q ∧ r ))
Condicional
![Page 28: Aula 04](https://reader033.fdocumentos.com/reader033/viewer/2022060205/55a0b1ce1a28ab5a5d8b45b4/html5/thumbnails/28.jpg)
Tabela Verdade
http://www.calculadoraonline.com.br/ta
bela-verdade