L'unico scopo di questo programma sta generando, e la visualizzazione, tabelle di verità.
Questa versione gratuita supporta tutti i connettivi usuali della logica classica, cioè la negazione, congiunzione, (compreso) disgiunzione, conditonal (implicazione materiale), e bicondizionale (equivalenza materiale), così come le costanti 1 e 0 che denotano la verità e la menzogna, rispettivamente. Una cosa interessante è che, oltre alla notazione standard un po 'noioso di logica, è possibile utilizzare snella, la notazione polacca brillante di Lukasiewicz, troppo.
E non si ferma qui. Se sei il, senso comune tipo di persona con i piedi per terra, lo troverete rassicurante che, per impostazione predefinita, il programma utilizza classica, a due valori, la logica. Ma se siete più di un tipo avventuroso, senza mai fermarsi a corto di un'impresa, sarete felici di sapere che le tabelle di verità per Android supporta una serie di non-classici, sistemi multi-valore della logica, troppo. Mai entrare in un fiume due volte, e due negativi non fanno un'affermazione, per così dire!
Categoria : Istruzione
Ricerche associate
Utile per correggere