double arrow

Операции на множестве высказываний

Из элементарных высказываний можно составлять сложные высказывания с помощью логических операций. Чтобы уметь однозначно выявить истинное значение сложных высказываний, строго определим логические операции. Единственное свойство сложного высказывания, которое нас интересует, это его истинностное значение. Никакого другого, конкретного содержания сложное высказывание не имеет. Элементарные высказывания, входящие в состав сложного высказывания, связываются логическими операторами не по смысловому описанию, а только по их истинностным значениям. Следовательно, сложные высказывания являются функциями от входящих в них элементарных высказываний. Все операции в логике высказываний описываются только таблицей истинности. Все языковые конструкции, которые мы будем использовать для описания той или иной операции, не более чем средство запоминания. Дадим более строгое определение

Функция называется n -местной булевой функцией, если каждая переменная принимает только два значения 0 или 1 и функция принимает значения в этом же множестве {0;1}.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



Сейчас читают про: