Proposición. Leyes lógicas. Tablas de la verdad. Inferencias. ...