Question

Lógica Matemática: Linguagem Lógica.

A particularização universal pode ser usada para demonstrar um dos silogismos clássicos da Lógica Aristotélica. Para compreender melhor a regra da particularização universal, podemos analisar o seguinte exemplo:

Todos os seres humanos são mortais.

Sócrates e um ser humano.

Logo,Sócrates e mortal.

A formalização completa deste tipo de argumento, em termos da Lógica de Predicados, pode ser feita de acordo com a seguinte formula:

Escolha uma opção:
a. (∀x)(A(x)→B(x)),(y)A(y)⊢B(a)
b. (∀x)(A(x)→B(x)),A(a)⊢B(a)
c. (∀x)(A(x)→ B(x)),(y)A(y)⊢B(a)
d. (∃x)(A(x)→B(x)),A(a)⊢B(a)
e. (∃x)(A(x)→B(x)),(∃y)A(y)⊢B(a)

Answer 1

Resposta:

letra (d) eu acho , se não for sorry