Podemos colocar de forma genérica proposições. Vamos tomar como exemplo a seguinte proposição: Eduardo é bonito. Esta pode ser traduzida por Be. Agora você consegue imaginar como quantificar a proposição a seguir? 07/05/91 é um dia frio. Observe a dificuldade em criar uma forma para comparar frio, pois, se vamos testá-la, dizer simplesmente Fd (é um dia frio=predicado 07/05/91=sujeito) não ajuda, pois frio é relativo. Por isso, seu desafio é criar uma forma de estabelecer uma proposição para frio que possa ser equacionada para resultar num verdadeiro ou falso. Então, crie uma tabela-verdade para todas as variáveis e responda se são verdadeiras ou falsas as seguintes proposições: (∃x) Fx (∀d) Fd
Soluções para a tarefa
Resposta:
Desenvolvimento Correto
Explicação:
Temos que estabelecer o que é frio. Um bom começo é dizer que frio é quando a temperatura é menor do que 10ºC. Assim, podemos equacionar. Td ‹ 10ºC (onde Td é a temperatura do dia 07/05/91), se isso for verdadeiro, Fd é verdadeiro, pois o dia será frio, se for falso Fd será falso.
Então, temos Td = Fd.
A tabela-verdade é:
Td - resultado de Fd
F F
V V
(∃x) Fx é verdadeiro, já que significa que algum dia é frio, isto é, depois que estipulamos que frio é ‹ 10ºC.
(∀d) Fd é falso, nem todos os dias têm temperatura menor do que 10ºC.
Resposta:
Padrão de resposta esperado:
Explicação:
Temos que estabelecer o que é frio. Um bom começo é dizer que frio é quando a temperatura é menor do que 10ºC. Assim, podemos equacionar. Td ‹ 10ºC (onde Td é a temperatura do dia 07/05/91), se isso for verdadeiro, Fd é verdadeiro, pois o dia será frio, se for falso Fd será falso.
Então, temos Td = Fd.
A tabela-verdade é:
Td - resultado de Fd
F F
V V
(∃x) Fx é verdadeiro, já que significa que algum dia é frio, isto é, depois que estipulamos que frio é ‹ 10ºC.
(∀d) Fd é falso, nem todos os dias têm temperatura menor do que 10ºC.