Импликация
Это сложное высказывание ложно только тогда, когда X1 – истинно, а X2 – ложно.
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Читается: если X1, то X2. При этом X1 – посылка, X2 – следствие.
Если посмотреть на таблицу истинности, то может показаться странным название этой функции, т.к. из него следует, что истинным может быть высказывание, составленное из двух ложных.
Но в действительности, все верно, т.к. содержанием высказываний в алгебре логики не интересуются.
Тогда из ложной посылки может следовать ложное следствие и это можно считать верным:
<если Киев – столица Франции>, то <2-квадрат 3>.
