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.