Bootstrap

Prove ou refute (lógica de primeira ordem):

XXXTh

- Lógica

Prove ou refute (lógica de primeira ordem): forall x eg (H(x)wedge eg M(x)), eg forall xM(x) models eg forall xH(x)

0 Respostas

XXXTh está aguardando sua ajuda.

Mais perguntas de Lógica