CONTROLADOR DE PRUEBAS
para analizar proposiciones y controlar los cálculos
| conjunción |
. |
L |
Modus Ponens
Modus
Tollens Disjunctive- Syllogism Hypothetical- Syllogism Simplification Conjunction Addition DeMorgan Commutation Association Distribution Transposition Implication Exportation |
|
| disyunción |
+ |
V | ||
| condición |
> |
® | ||
| bicondición |
= |
« | ||
| negación |
~ |
Ø | ||
|
CONECTIVAS
|
SIGNOS | |||
| de este progra ma | tradi cio-nales | |||
To enter an exercise:
Click on the top button of the proof-checkers toolbar. The toolbar is the vertical column of buttons on the right of the checker.
NOTE: Proof-checker uses the following symbols for the logical connectives:
|
Meaning |
Symbol |
|
|
Conjunction |
...and ... |
. |
|
Disjunction |
Either ... or ... |
+ |
|
Implication |
If ... then ... |
> |
|
Equivalence |
... if and only if ... |
= |
|
Negation |
not |
~ |