Question

Ao trabalharmos com a lógica de predicados, escolhemos primeiro um esquema abreviador e depois realizamos a simbolização dos enunciados. No caso de proposições, podemos dizer se é verdadeira ou falsa. Sendo A um predicado com significado de "tem 100 cm", B um predicado com significado de "é azul", P um predicado com significado "é pessoa", f um sujeito “Fábio” e m um sujeito "um metro". Marque a alternativa que contém a sequência correta dos valores lógicos das seguintes proposições: Am (∃x) (Px Ù Bx) Am Ú ~Bp​

Answer 1

Resposta:

B. V-F-V

Explicação passo a passo:

Considere:

Ax, símbolo de predicado ​​​​​​, x tem 100 cm.

Bx, símbolo de predicado ​​​​​​, x é azul.

Px, símbolo de predicado ​​​​​​, x é pessoa.

m, constante, um metro.

Ú, símbolo da operação lógica disjunção (ou).

Ù, símbolo da operação lógica conjunção (e).

Assim, a tradução fica:

Am: Um metro tem 100 cm. Proposição verdadeira.

(∃x) (Px Ù Bx): Existe pessoa azul. Proposição falsa.

Am Ú ~Bp​: Um metro tem 100 cm ou Fábio não é azul. Proposição verdadeira.