Strumenti Utente

Strumenti Sito


multilogic

Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

Link a questa pagina di confronto

multilogic [2017/05/03 15:48] (versione attuale)
Linea 1: Linea 1:
 +<​markdown>​
 +MVL - Multi valued logic
 +==================
  
 +Propositional logic study whether propositions are true or false, in multiple valued logic there are more than two truth values. ​
 +
 +Values
 +------
 +
 +* i - incognito
 +* u - undefined
 +* x - conflict / critical
 +* 0 - zero
 +* 1 - one
 +* 2 - two
 +* n - multi
 +* t - too much
 +
 +Operators / functions
 +---------
 +
 +negation: ¬ or !  ​
 +conjunction:​ ∧ or &  ​
 +disjunction:​ ∨ or |  ​
 +implication:​ → or :  ​
 +biconditional:​ ↔ or ::  ​
 +
 +    ref. 1 [Wikipedia - Many-valued logic](http://​en.wikipedia.org/​wiki/​Many-valued_logic).
 +    ref. 2 Bart Kosko, Il fuzzy-pensiero. Teoria e applicazioni della logica fuzzy. Tascabili Baldini & Castoldi, I nani, 4a ed. 2000, pp. 365, ISBN 88-8089-193-6.
 +
 +</​markdown>​
multilogic.txt · Ultima modifica: 2017/05/03 15:48 (modifica esterna)