Dies ist der gebildete Befehl, der im kostenlosen OnWorks-Hosting-Provider mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
gebildet - Formeleditor für logische Formeln erster Ordnung
ZUSAMMENFASSUNG
gebildet [Optionen]
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die gebildet Befehl.
gebildet ist ein fensterbasiertes Programm zum Konstruieren, Anzeigen und Verwalten von
logische Formeln. Die Hauptmotivation für den Bau gebildet war der Wunsch zu haben
Formeln in einem lesbaren, zweidimensionalen Format angezeigt. Benutzer von gebildet kann zwei machen
Transformationsarten für Formeln: (1) logische Transformationen, wie Negation normal
Formularübersetzung, die die Bedeutung einer Formel beibehält, und (2) Transformationen bearbeiten,
mit denen beliebige Änderungen vorgenommen werden können, z. B. das Hinzufügen einer Hypothese zu einer Unterformel.
gebildet wurde mit dem X Window System, Version 11, und Code aus dem Theorem geschrieben
beweisen Otter.
OPTIONAL
Nachfolgend finden Sie eine Zusammenfassung der Optionen.
-l Dateinamen
Laden Sie während des Startvorgangs Formeln in die angegebene Datei. Formeln können auch geladen werden
nach dem Start mit der Taste Laden Sie im Hauptmenü.
-f Farbe
Verwenden Sie die benannte Farbe für den Vordergrund auf Farbmonitoren (wird bei Schwarz-und-
weiße Monitore).
-b Farbe
Verwenden Sie die benannte Farbe für den Hintergrund auf Farbmonitoren (wird bei Schwarz-Weiß-
weiße Monitore).
Verwenden Sie online mit den onworks.net-Diensten
