Logica Proposicional
solo
Logica de Predicados
el uso de
2 modelos: sentential logic vs first-order logic
Una variable es libre si no tiene cuantificador asignado
solo
el uso de
2 modelos: sentential logic vs first-order logic
Una variable es libre si no tiene cuantificador asignado