Lòoggiiccaa : un programa de lògica formal
Nivel Educativo:
Educación Secundaria
Tipo Documental:
VariosEstadísticas:
Ver Estadísticas de usoMetadatos:
Mostrar el registro completo del ítemAutor:
Fecha:
1998Resumen:
Programa para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo proposicional: tablas de verdad, connectivas, proposiones tautológicas y contradicciones. Posibilita que el usuario introduzca sus propias fórmulas hasta 4 variables.
Programa para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo proposicional: tablas de verdad, connectivas, proposiones tautológicas y contradicciones. Posibilita que el usuario introduzca sus propias fórmulas hasta 4 variables.
Leer menos