Il s'agit de la commande formée qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
formé - éditeur de formules pour les formules logiques du premier ordre
SYNOPSIS
formé [Options]
DESCRIPTION
Cette page de manuel documente brièvement les formé commander.
formé est un programme basé sur des fenêtres pour la construction, l'affichage et la gestion du premier ordre
formules logiques. La motivation principale de la construction formé était le désir d'avoir
formules affichées dans un format lisible en deux dimensions. Utilisateurs de formé peut faire deux
types de transformation sur les formules : (1) transformations logiques, telles que la négation normale
la traduction de forme, qui préserve le sens d'une formule, et (2) édite les transformations,
qui peut être utilisé pour apporter des modifications arbitraires, telles que l'ajout d'une hypothèse à une sous-formule.
formé a été écrit en utilisant le système X Window, version 11, et le code du théorème
prouveur loutre.
OPTIONS
Un résumé des options est inclus ci-dessous.
-l nom de fichier
Charge les formules dans le fichier spécifié au démarrage. Les formules peuvent également être chargées
après le démarrage avec le bouton Charge dans le menu principal.
-f couleur
Utilisez la couleur nommée pour le premier plan sur les moniteurs couleur (ignorée sur le noir et
moniteurs blancs).
-b couleur
Utilisez la couleur nommée pour l'arrière-plan sur les moniteurs couleur (ignorée sur le noir et
moniteurs blancs).
Utilisez formé en ligne à l'aide des services onworks.net
