По
поводу любого высказывания можно сказать истинно оно
или ложно.
Конъюнкция. Составное
высказывание, образованное в результате операции логического
умножения (A&B), истинно тогда и только тогда, когда
истинны все входящие в него простые высказывания.
Дизъюнкция. Составное
высказывание, образованное с результате логическогое
сложения, (AvB) истинно тогда, когда истинно хотя бы
одно из входящих в него простых высказываний.
Логическое отрицание
делает истинное высказывание ложным и, наоборот, ложное—
истинным.
Логическое следование
(A—>B). В русском языке образуется оборотом речи
«если A, то B». Такое высказывание ложно тогда и только
тогда, когда из истинного первого высказывания следует
ложный вывод (второе высказывание).
Эквивалентность.
(A<—>B).Такое высказывание будет будет истинно
тогда и только тогда, когда оба высказывания одновременно
либо истинны, либо ложны.
Порядок логических операций по
убыванию старшинства следующий: отрицание,
крнъюнкция, дизъюнкция, следование, эквивалентность. |