Strumenti Utente

Strumenti Sito


multilogic

<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)