Давайте разберем каждое определение и найдем соответствующий логический термин:
-
Логическая операция, изменяющая истинность значения логической переменной:
- Эта операция называется отрицание (иногда обозначается как "НЕ"). Она преобразует истину в ложь и ложь в истину.
-
Операция, связывающая два простых логических выражения, и содержащая конструкцию «ЕСЛИ - ТО»:
- Эта операция называется импликация. Импликация выражается конструкцией "если A, то B" и обозначается как A → B. Она ложна только в том случае, если A истинно, а B ложно.
-
Операция над парой высказываний, результат которой истинен только когда истинны оба высказывания:
- Эта операция называется конъюнкция (обозначается как "И"). Конъюнкция истинна, если оба высказывания истинны.
-
Операция над парой высказываний, результат которой является ложным только когда ложны оба высказывания:
- Эта операция называется дизъюнкция (обозначается как "ИЛИ"). Дизъюнкция истинна, если хотя бы одно из высказываний истинно.
-
Операция над парой высказываний, результат которой является истинным если оба высказывания одновременно истинны или ложны и ложным в любом другом случае:
- Эта операция называется эквиваленция (иногда обозначается как "эквивалентность" или "равнозначность"). Эквиваленция истинна, когда оба высказывания имеют одинаковую истинность.