000
11.04.2007, 13:04 Uhr
Lensflare
|
Hallo.
ich suche ein Programm, mit dem man logische Ausdrücke auf Wahrheit überprüfen kann.
Es sollte mit Mengen (Mengenlehre) umgehen können.
zum Beispiel:
Für alle x gilt, wenn x Element von Menge A ist, dann ist x Teilmenge von Menge B
oder:
Es gibt eine Menge A, sodass x Element von A ist und x + y = 0
Oder wenn jemand weiss, ob oder wie das mit einem Taschenrechner von "Texas Instruments" geht, würde es mir auch weiterhelfen.
Danke. 
--
Wenn das Gehirn so einfach wäre, dass wir es verstehen könnten, wären wir so einfach, dass wir es nicht verstehen könnten.
(Emerson Pugh Trost) |
