Inferencias en
enunciado lógicos

Más compresión que cálculo