Logic Toolbox
CAJA DE HERRAMIENTAS DE LÓGICA
| Estos recursos se ofrecen para
ayudar a aprender, desinteresadamente, sin intención comercial .
esperamos que os sean útiles. Tampoco garantizamos su total
funcionamiento ni respondemos de los efectos que pueda tener en su
ordenador.
Recordamos que necesitan el entorno Java para funcionar.
The material below is for instructional - NON_COMMERCIAL -
purposes. It is provided in the hope that it may be useful to
students - but WITHOUT ANY WARRANTY - even an implied warranty
of its fitness for a particular purpose. |
|
LÓGICA
DE
INSPIRACIÓN
ARISTOTÉLICA |
|
|
- OPOSICIÓN DE PROPOSICIONES
- - PROGRAMA
Categorical Proposition Applet
Una calculadora de proposiciones opuestas y de la inferencia inmediata entre
ellas.
- - INSTRUCCIONES DE
USO ReadMe
Instrucciones para usar el Applet de proposiciones categóricas opuestas
|
|
Atrás a Lóg. arist. |
|
|
- SILOGISMOS
- - PROGRAMA
Syllogism Applet
Una especie de calculadora de silogismos
- -
INSTRUCCIONES DE USO:
ReadMe
Instrucciones para usar el Applet de
silogismos
|
|
|
-
-
- CONTROLADOR DE CÁLCULOS DE LÓGICA
PROPOSICIONAL
- +
PROGRAMA
Proof Checker Applet
Es una ayuda para los cáculos de lógica
proposicional
- + INSTRUCCIONES
ReadMe Instrucciones detalladas sobre la
aplicación
-
- +Venn Diagram Test
- Enter a syllogism and follow instructions on the screen. (New 6-27-04)
- +Truth Functions Applet
- Truth table calculator that can help with: truth functions, truth tables, truth tables for arguments, and indirect
method.
- ReadMe
- Instructions for the truth function Applet.
- ------------------------------------------------------------------------------------------------------------------------------------------------------------------------
- Inference rules and strategy for propositional logic. (last update:12-12-03)
- Modus Ponens
-
- Modus Tollens
-
- Disjunctive Syllogism
-
- Hypothetical Syllogism
-
- Constructive Dilemma
-
- Simplification
-
- Conjunction
-
- Addition
-
- DeMorgan
-
- Commutation
-
- Association
-
- Distribution
-
- Transposition
-
- Implication
-
- Exportation
- ------------------------------------------------------------------------------------------------------------------------------------------------------------------
- +Proof Checker Applet
- Proof checker to help with natural deduction in propositional logic.(last update: 4-19-05)
- ReadMe
- Categorical Propositions
- Interactive tutorial on converting categorical propositions to their Boolean and Venn equivalents.
- Drill for All Rules
- Interactive drill on the 8 rules of inference and 10 axioms of replacement.
- Strategy for Rules
- Interactive tutorial on some strategy for the 8 inference rules.
The programs below are updated versions of some of the Applets above. They can be downloaded
and installed on a Windows PC. The Java Runtime Environment mentioned above is necessary to run the programs. Double
click the jar file you have downloaded to run the programs.
Categorical Propositions: (Last update: 6-9-04. )
CategoricalProposition.jar
Syllogisms:(Last update: 6-9-04 )
Syllogism.jar
Truth Functions:(Last update:6-9-04)
TruthTables.jar
Proof Checker:(Under revision)
Last Update:4/19/05
Please send questions, feedback, suggestions, and bug reports to:
john.saetti@gmail.com
Copyright ©2000 by John Saetti - ALL RIGHTS RESERVED
The Applets below may, in some cases, run better with an updated Java Runtime
Envirenment. It can be downloaded by clicking on the Java icon below. Some of these
are large applets: so be patient if you have a slow network link.
Java and the Java Coffee Cup Logo are trademarks or registered trademarks of
Sun Microsystems, Inc. in the U.S. and other countries.