deducción natural. prueba por el absurdo

deducción natural 3

deducción natural 2

deducción natural 1

deducción natural validez de razonamientos por reglas de inferencia

tautologias notables 5 introducción a la deducción natural

tautologias notables 4 ejercicios de deducción natural

inferencia logica 3

inferencia logica 2

inferencia logica 1 (modus ponens)

ejercicio de equivalencia

equivalencias logicas 2

equivalencias logicas 1

leyes lógicas 2

leyes lógicas 1 (tautologias y equivalencias)

reglas de inferencia o tautologias notables

validar argumentos con tablas de verdad

formalizar argumentos y probar su validez

tablas de verdad proposiciones compuestas

tabla de verdad ejercicio resuelto 4

ejecicios resueltos de tabla de verdad 2

ejercicios resueltos de tabla de verdad 1

conectores logicos y tablas de verdad

Formalización 1. proposiciones condicionales

formalización de inferencias 106

formaliazción de inferencias 105

formalización de inferencias 104

Formalización de inferencias 103

formalización de inferencias 102

Logica proposicional II. formalización

como convertir una proposición en lenguaje simbólico al lenguaje escrito

como convertir una proposición al lenguaje simbólico

formalización de proposiciones 5

formalización de proposiciones 4

formalización de proposiciones 3

formalización de proposiciones 2

formalización de proposiciones 1

Conectores lógicos y simbolización

formalización de proposiciones

Enunciados y proposciones