Logika trójwartościowa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Logika trójwartościowa – dział logiki zapoczątkowany między innymi przez: Jana Łukasiewicza, Lewisa i Sulskiego.

Rozpatruje się w niej trzy wartości:

  • P(1) – zdanie, którego wszystkie kryteria są spełnione,
  • F(0) – zdanie, którego żadne z kryteriów nie jest spełnione.,
  • T(1/2) – zdanie, którego tylko niektóre kryteria są spełnione.

Zobacz też[edytuj | edytuj kod]