Le seul but de ce programme est de générer, et d’afficher, des tables de vérité.
Cette version gratuite prend en charge tous les connectifs habituels de la logique classique, c’est-à-dire la négation, la conjonction, la disjonction (inclusive), conditonale (implication matérielle) et biconditionnelle (équivalence matérielle), ainsi que les constantes 1 et 0 désignant respectivement la vérité et le mensonge. Une chose cool est que, en plus de la notation standard un peu ennuyeux de la logique, vous pouvez utiliser Lukasiewicz stream-lined, brillante notation polonaise, aussi.
Et ça ne s’arrête pas là. Si vous êtes le terre-à-terre, le bon sens de la personne, vous trouverez rassurant que, par défaut, le programme utilise classique, deux-évalué, logique. Mais si vous êtes plus du type aventureux, ne s’arrêtant jamais à court d’une entreprise, vous serez ravi d’apprendre que Truth Tables pour Android prend en charge un certain nombre de non-classique, multi-précieux systèmes de logique, aussi. N’entrez jamais deux fois dans une rivière, et deux négatifs ne font pas d’affirmation, pour ainsi dire!
historique de la version
- Version 3.43 posté sur 2013-11-14
* NAND et NOR sont plus importants pour la plupart des tailles d’écran (demandé par un utilisateur),* nettoyage des mises en page (s’il vous plaît signaler tout problème avec des appareils exotiques),* permettant "*" et "+" pour la conjonction et la disjonction, respectivement (demandé par un utilisateur),* montrant en option des lignes de séparateur entre les colonnes principales (demandé par un utilisateur),* clavier à l’écran en option montrant les lettres propositionnelles A, B, C,... au lieu de P, Q, R,... (demandé par un utilisateur) - Version 2.101 posté sur 2011-05-02
Plusieurs correctifs et mises à jour
Détails du programme
- Catégorie: Éducation > Outils d’enseignement et de formation
- Éditeur: Erpelstolz
- Licence: Gratuit
- Prix: N/A
- Version: 3.43
- Plate-forme: android