FORMALIZACIÓN

La mejor forma de empezar en esto de la lógica es practicar. En el archivo adjunto teneis una batería de ejercicios de formalización, primero enunciados y luego inferencias completas.

formalización