Результат логической операции ложен, только тогда, когда предпосылка А истинна, а заключение В \(следствие\) ложно.

• Логическое следование \(импликация\)
• Эквивалентность
• Логическое отрицание \(инверсия\)
• Логическое умножение \(конъюнкция\)
• Логическое сложение \(дизъюнкция\)