|
xy Ъ
sxў
|
xўyў
Ъ sy
|
xyў Ъ
s xўy Ъ
xўyў
|
|||||||||||||
Материальная импликация (xЈy) |
“Если
x, то yў” (буквально) |
“Если yў,
то xў” (буквально) |
Трехзначная импликация |
|
|
|||||||||||||||||||
Импликация Лукасевича | Импликация Гейтинга | Треугольник Н.Васильева |
VxVўxy |
VxyVўxyў |
Классы xy-универсума | “Всякое x есть y” (буквально) |
|
|
||||||||||||
“Всякое yў?есть xў” (буквально) | “Всякое x есть y” (следование y из x) |