Обговорення:Тризначна логіка

Це сторінка обговорень та пропозицій для статті Тризначна логіка
Будь ласка, підписуйте свої коментарі (для цього наберіть ~~~~ або натисніть кнопку    над віконцем редагування) Нові теми починайте внизу сторінки (додати тему). Вперше у Вікіпедії? Ласкаво просимо! Часті запитання. Це сторінка для обговорення не предмета статті, а тільки цієї статті. Правила обговорень Будьте ввічливі Припускайте добрі наміри Не допускайте образ Не прискіпуйтеся до новачків

Ця стаття є частиною Проєкту:Комп'ютерні науки (рівень: невідомий, важливість: низька)
	Мета проєкту — створення якісних та інформативних статей на теми, пов'язані з інформатикою і комп'ютерними науками. Ви можете покращити цю статтю, відредагувавши її, а на сторінці проєкту вказано, чим ще можна допомогти. Учасники проєкту будуть вам вдячні.
???	Цю статтю ще ніхто не оцінив за шкалою оцінок статей Проєкту:Комп'ютерні науки.
Низька	Важливість цієї статті для проєкту Комп'ютерні науки: «низька»
	Чим допомогти:

Дещо про Кліні

Нам на лекції казали, що це логіка Кліні. І до того ж, двох видів:

• в сильній $T\vee U=T$
• в слабкій $T\vee U=U$ (тобто невідомим є результат будь-якої операції, в якій хоч один аргумент невідомий).

А ще було означення такого оператора: $\simeq$ - сильна рівність Кліні. (Правда я не зрозумів).

Я не знаю, чи внести це в статтю, чи написати окрему. Ви як думаєте? --Bunyk 03:54, 10 вересня 2010 (UTC)