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!
Télécharger