Quais dessas sentenças são proposições?
(a) Belo horizonte é capital de Minas Gerais.
(b) Curitiba é capital de Santa Catarina.
(c) 2+3 = 5.
(d) 5+7 = 10.
(e) x+2 = 11.
(f) Responda esta questao.
(g) Que horas sao?
(h) 2n ≥ 100
Gabarito:
(a)
É uma proposição simples.
Pode ser simbolicamente representada por P, P: "Belo horizonte é capital de Minas Gerais".
Possui duas possibilidades de valor lógico Verdadeiro ou Falso.
Valor lógico: Verdadeiro.
(b)
É uma proposição simples.
Pode ser simbolicamente representada por P, P : "Curitiba é capital de Santa Catarina".
Possui duas possibilidades de valor lógico Verdadeiro ou Falso.
Valor lógico: Falso.
(c)
É uma proposição simples.
Pode ser simbolicamente representada por P, P : 2 + 3 = 5.
Possui duas possibilidades de valor lógico Verdadeiro ou Falso.
2 + 3 = 5
5 = 5
Valor lógico: Verdadeiro.
(d)
É uma proposição simples.
Pode ser simbolicamente representada por P, P: 5 + 7 = 10
Possui duas possibilidades de valor lógico Verdadeiro ou Falso.
5 + 7 = 10
12 = 10
Valor lógico: Falso.
(e)
Não é uma proposição.
É preciso definir domínio para x para instanciar uma proposição e o conjunto de proposições.
(f)
Não é uma proposição.
Não faz sentido atribuir valores lógicos a instruções.
(g)
Não é uma proposição.
Não faz sentido atribuir valores lógicos a questionamentos.
(h)
Não é uma proposição.
É preciso definir domínio para n para instanciar uma proposição e o conjunto de proposições.
Fonte:
MD1 - Lógica Proposicional, Profa
. Dayanne G. Coelho, 2017.