Truth Tables

Version 3.43
Date de mise à jour April 5, 2025
Catégorie éducation apprentissage
Taille 207.08KB

À propos de cette application

Tables de vérité pour la logique classique et pour un certain nombre de systèmes non classiques

Le seul but de ce programme est de générer et d'afficher Truth Tables .

Cette version gratuite prend en charge toutes les connecteurs habituels de la logique classique, c'est-à-dire la négation, la conjonction, la disjonction (inclusive), la conditonale (implication matérielle) et le biconditionnel (équivalence matérielle), ainsi que les constantes 1 et 0 dénotant respectivement la vérité et le mensonge. Une chose cool est que, en plus de la notation standard quelque peu ennuyeuse de la logique, vous pouvez également utiliser la notation polonaise de flux de Lukasiewicz.

Et ça ne s'arrête pas ici. Si vous êtes le type de personne à terre et de bon sens, vous trouverez rassurant que, par défaut, le programme utilise une logique classique, à deux valeurs. Mais si vous êtes plus du type aventureux, ne vous arrêtant jamais une entreprise, vous serez ravi d'apprendre que Truth Tables pour Android supportent également un certain nombre de systèmes de logique multi-classiques et multi-valeurs. Ne saisissez jamais dans une rivière deux fois, et deux négatifs ne font pas une affirmation, pour ainsi dire!

Quoi de neuf dans la dernière version 3.43

Dernière mise à jour le 3 août 2015 * NAND et n'est pas plus important pour la plupart des tailles d'écran (demandée par un utilisateur)
* Nettoyage des dispositions (veuillez signaler tout problème avec des appareils exotiques)
* Autoriser "*" et "+" pour la conjonction et la disjonction, respectivement (demandé par un utilisateur)
* Affichage éventuellement des lignes de séparateur entre les colonnes principales (demandée par un utilisateur)
* Clavier à l'écran montrant éventuellement les lettres propositionnelles a, b, c, ... au lieu de p, q, r, ... (demandé par un utilisateur)

Captures d'écran