Considere as proposições p, q, r e S a seguir:p: Campina Gra . . .
Exercício 2
Considere as proposições p, q, r e S a seguir:
p: Campina Grande é uma cidade.
q: Oscar Niemeyer é um arquiteto brasileiro.
r: O sol gira em torno da terra.
S: p → ~ q ˄ r.
Logo, pode-se afirmar que:
Resolução
Parte 1 da resolução
Para começarmos a resolver este exercício de tabela verdade, o primeiro passo é atribuir valores lógicos(verdadeiro ou falso) para cada proposição lógica simples detectada no enunciado do problema, conforme análise abaixo:
-
Campina Grande é um município brasileiro no estado da Paraíba. Considerada um dos principais polos industriais da Região Nordeste, foi fundada em 1 de dezembro de 1697, tendo sido elevada à categoria de cidade em 11 de outubro de 1864.(Fonte:Wikipedia)
De acordo com o texto acima, podemos considerar que a proposição lógica "Campina Grande é uma cidade." é verdadeira.
-
Oscar Ribeiro de Almeida Niemeyer Soares Filho (Rio de Janeiro, 15 de dezembro de 1907 – Rio de Janeiro, 5 de dezembro de 2012) foi um arquiteto brasileiro, considerado uma das figuras-chave no desenvolvimento da arquitetura moderna. Niemeyer foi mais conhecido pelos projetos de edifícios cívicos para Brasília, uma cidade planejada que se tornou a capital do Brasil em 1960. (Fonte:Wikipedia)
De acordo com o texto acima, podemos considerar que a proposição lógica "Oscar Niemeyer é um arquiteto brasileiro." é verdadeira.
-
A translação da Terra é o movimento que a Terra realiza ao redor do Sol. Uma translação completa ao redor do Sol leva 1 ano sideral ou 365,256363 dias solares. (Fonte:Wikipedia)
De acordo com o texto acima, podemos considerar que a proposição lógica "O sol gira em torno da terra." é falsa.
Parte 2 da resolução
Para chegarmos a resposta dessa questão, letra C(o valor lógico de S é a falsidade), vamos montar uma tabela verdade para a proposição composta S: p → ~ q ˄ r, conforme demonstrado abaixo:
| p | q | r | ~q | p → ~ q | S: p → ~ q ˄ r |
|---|---|---|---|---|---|
| V | V | F | F | F | F |
Observação: Como a proposição lógica p → ~ q ˄ r não tem parênteses, a ordem de resolução é da esquerda para direita.
Resolva também as questões relacionadas abaixo sobre Tabela Verdade.
Se A e B são proposições simples verdadeiras, então o valor lógico de (A ∧¬B) ⇒¬A é:
...Considere as proposições a, b, c e D a seguir:
a: Luiz Inácio Lul ...
Alice estava estudando para o concurso público da prefeitura municipal de Itabira/MG e se deparou co ...
Veja também as perguntas respondidas abaixo.
O que é tabela verdade?