lógica e matemática computacional - exercícios 02
TRANSCRIPT
![Page 1: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/1.jpg)
ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONALEXERCÍCIOS 02 – LÓGICA PROPOSICIONAL
Prof. Thomás da [email protected]
![Page 2: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/2.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Tabelas Verdades
LÓGICA PROPOSICIONAL
p q p˄qV V V
V F F
F V F
F F F
Conjunção (E – AND):p q p˅qV V V
V F V
F V V
F F F
Disjunção (OU – OR):
p q p→qV V V
V F F
F V V
F F V
Condicional:p q p↔qV V V
V F F
F V F
F F V
Bi condicional:
Negação (NÃO – NOT):p ¬p
V F
F V
![Page 3: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/3.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Tabela Verdade com 3 Elementos
LÓGICA PROPOSICIONAL
p q rV V VV V FV F VV F FF V VF V FF F VF F F
• 2 possibilidades (V e F)• 3 proposições
![Page 4: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/4.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Tabela Verdade com 4 Elementos
LÓGICA PROPOSICIONAL
p q r sV V V VV V V FV V F VV V F FV F V VV F V FV F F VV F F FF V V VF V V FF V F VF V F FF F V VF F V FF F F VF F F F
• 2 possibilidades (V e F)• 4 proposições
![Page 5: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/5.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
LÓGICA PROPOSICIONAL
ExemploResolva as tabelas verdades de acordo com o tipo de conectivo:
a) (p ˄ q) ↔ (p ˅ q)
p q (p ˄ q) ↔ (p ˅ q)V V V V V V V V VV F V F F F V V FF V F F V F F V VF F F F F V F F F
Responder os exercícios neste formato, pois será cobrado na PROVA
![Page 6: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/6.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
a) (p ˄ q) ↔ (p ˅ q)b) (p ˄ q) → (r ˄ q)c) (p ˄ q) ↔ (¬r → q)d) p ˄ q → r ˅ ¬se) (¬p ˅ q → p) ˅ rf) ¬(¬q → p)g) ¬(¬p ˄ ¬q) → ¬r
ExercíciosResolva as tabelas verdades de acordo com o tipo de conectivo:
LÓGICA PROPOSICIONAL
![Page 7: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/7.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
ExemploSejam as proposições p: Marcos é alto e q: Marcos é elegante. Traduzir para a linguagem simbólica as seguintes proposições:
LÓGICA PROPOSICIONAL
a) Marcos é alto e eleganteResposta: p ˄ q
![Page 8: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/8.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exercícios
LÓGICA PROPOSICIONAL
Sejam as proposições p: Marcos é alto e q: Marcos é elegante. Traduzir para a linguagem simbólica as seguintes proposições:
a) Marcos é alto e eleganteb) Marcos é alto, mas não é elegantec) Não é verdade que Marcos é baixo ou eleganted) Marcos não é nem alto e nem elegantee) Marcos é alto ou é baixo e elegantef) É falso que Marcos é baixo ou que não é elegante
![Page 9: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/9.jpg)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exercícios
LÓGICA PROPOSICIONAL
Traduzir para a linguagem simbólica as seguintes proposições matemáticas:
a) x = 0 ou x > 0b) x = 0 e y = 0c) x > 1 ou x + 1 = 0d) (x + y = 0 e z > 0) ou z = 0
![Page 10: Lógica e Matemática Computacional - Exercícios 02](https://reader033.vdocuments.mx/reader033/viewer/2022061515/5870fe4c1a28ab5f528b6399/html5/thumbnails/10.jpg)
Obrigado !!!
ANHANGUERA – 2016.2