Логические и арифметические основы и принципы работы ЭВМ

       

Импликация


Это сложное высказывание ложно только тогда, когда X1 – истинно, а X2 – ложно.

X1X2f1(X1,X2)
001
011
100
111

Читается: если X1, то X2. При этом X1 – посылка, X2 – следствие.

Если посмотреть на таблицу истинности, то может показаться странным название этой функции, т.к. из него следует, что истинным может быть высказывание, составленное из двух ложных.

Но в действительности, все верно, т.к. содержанием высказываний в алгебре логики не интересуются.

Тогда из ложной посылки может следовать ложное следствие и это можно считать верным:

<если Киев – столица Франции>, то <2-квадрат 3>.



Содержание раздела