Introdução À Lógica Proposicional: Prof. Sérgio Felipe
Introdução À Lógica Proposicional: Prof. Sérgio Felipe
Introdução À Lógica Proposicional: Prof. Sérgio Felipe
09 de fevereiro de 2023
Lógica Matemática
+, ×, ∪, ∩.
Elementos Gramaticais da Linguagem Simbólica
• Funtores: formam termos a partir de termos:
+, ×, ∪, ∩.
+, ×, ∪, ∩.
p
(b) 2 < π e π2 é racional.
Exemplos
2. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
(a) 2 + 1 = 3 e 4 + 2 = 6.
|2 +{z
1 = 3} e 4| +{z
2 = 6}, logo, V ∧ V = V .
V V
p
(b) 2 < π e π2 é racional.
p 2
| 2{z< π} e |π é racional
{z }, logo, V ∧ F = F .
V F
105
(c) −3 < −1 ∧ 102
= 1.000
Exemplos
2. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
(a) 2 + 1 = 3 e 4 + 2 = 6.
|2 +{z
1 = 3} e 4| +{z
2 = 6}, logo, V ∧ V = V .
V V
p
(b) 2 < π e π2 é racional.
p 2
| 2{z< π} e |π é racional
{z }, logo, V ∧ F = F .
V F
5
(c) −3 < −1 ∧ 10 102
= 1.000
105
|−3 {z
< −1} ∧ 2
= 1.000, logo, V ∧ V = V .
V |10 {z }
V
Exemplos
Obrigado!