Repaso de lógica para alumnos de 1º de Bachillerato. Explicación de las reglas básicas del cálculo de deducción natural. Modus Ponens y Teorema de Deducción (Eliminación e introducción del condicional).
Пікірлер: 2
@bloodymirrow15 жыл бұрын
Gracias por subirlo.Muy útil.
@marsalyperlas12 жыл бұрын
Pregunta: si tengo A--B en la 1ª línea, y B en la segunda, entonces puedo obtener A por MP no?