Truth Tables

vérité tables 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, tables de vérité.

Cette version gratuite soutient tous les connecteurs usuels de la logique classique, c'est la négation, la conjonction, disjonction (inclus), conditionnelle à des (implication matérielle), et biconditional (équivalence matérielle), ainsi que les constantes 1 et 0 désignant la vérité et le mensonge, respectivement. Un truc cool, c'est que, outre le solfège peu ennuyeux de logique, vous pouvez utiliser rationalisée, la notation polonaise brillante de Lukasiewicz, trop.

Et il ne s'arrête pas là. Si vous êtes le, sens commun genre de personne terre-à-terre, vous verrez que c'est rassurant de savoir que, par défaut, le programme utilise classique, à deux valeurs, logique. Mais si vous êtes plus du type aventureux, ne s'arrêtant jamais à court d'une entreprise, vous serez ravis d'apprendre que les Tables de vérité pour Android prend en charge un certain nombre de systèmes non classiques multi-valeur de la logique, aussi. Ne jamais entrer dans une rivière deux fois, et deux négatifs ne font pas une affirmation, pour ainsi dire!