A lógica matemática analisa determinada proposição buscando identificar se representa uma afirmação verdadeira ou falsa. Quais das afirmações seguintes são verdadeiras (V) e quais são falsas (F).
(b) Salvador é capital da Bahia.
(b) Salvador é capital da Bahia.
Passo 1
O enunciado dá uma única proposição a ser avaliada:
- Proposição (b): “Salvador é capital da Bahia.”
A tarefa é decidir se essa afirmação é verdadeira (V) ou falsa (F).
Passo 2
O que é uma proposição aqui e como a avaliamos:
- Uma proposição é uma frase que pode ser classificada como verdadeira ou falsa (não é uma pergunta nem um comando).
- Para proposições que falam sobre fatos do mundo (como esta), a maneira de avaliá‑las é comparar a afirmação com a realidade conhecida: consultar a definição ou o dado factual relevante (por exemplo, qual cidade é oficialmente a capital de um estado).
- Atenção: avaliar proposições factuais não é exercício de lógica formal pura (que manipula valores verdadeiros/ falsos abstratamente), mas sim de lógica aplicada — verificar se a afirmação corresponde a um fato real.
Passo 3
Como verificar especificamente esta afirmação:
- “Capital de um estado” significa a cidade que é sede do governo estadual e onde ficam os órgãos administrativos do estado.
- Pergunta a fazer: qual cidade é a sede do governo do estado da Bahia?
- Dado geográfico/administrativo conhecido: a cidade que é sede do governo do estado da Bahia é Salvador — é a capital do estado da Bahia.
Passo 4
Conclusão lógica a partir da verificação factual:
- Como a proposição afirma que a cidade sede do governo do estado da Bahia é Salvador, e isso corresponde ao fato administrativo conhecido, a proposição é verdadeira.
Resposta
(b) V