[Таблица Истинности]
а- таблица, с помощью которой устаннавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В класнсической математической логике предполагается, что каждое пронстое (не содержащее логических связок) высказывание является либо истинным, либо ложным, но не тем и другим одновременно. Нам не известно, истинно или ложно данное простое высказыванние, чтобы установить это, потребовалось бы обратиться к фактам действительности, но логика этого не делает. Однако мы знаем, что у высказывания имеется лишь две возможности Ч быть истиннным либо быть ложным. Когда с помощью логических связок мы соединяем простые высказывания в сложное, встает вопрос: при каких условиях сложное высказывание считается истинным, а при каких Ч ложным? Для ответа на этот вопрос и служат Т. и. Каждая логическая связка имеет свою таблицу, которая показывает, при каких наборах значений простых высказываний сложное высказынвание с этой связкой будет истинным, а при каких Ч ложным. Приведем Т. и. для отрицания, конъюнкции, дизъюнкции и импликанции (ли
