Truth Tables 3.43
Vous pourrez télécharger en 5 secondes.
Sur Truth Tables
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!