Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica > (1102) Lógica deductiva > (1102.12) Cálculo proposicional

Mostrando recursos 1 - 1 de 1

1. Lòoggiiccaa : un programa de lògica formal. 'Lóoggiiccaa : un programa de lógica formal' - Almarza, Miquel ?ngel; Estrada, Sara
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
(Formato Físico) - 06-nov-2008