Студопедия — Классификация формул алгебры высказываний
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Классификация формул алгебры высказываний






Формула называется выполнимой, если существует такой набор высказываний, который обращает эту формулу в истинное высказывание (есть хотя бы одно значение 1 в последнем столбце).

Формула называется опровержимой, если существует такой набор высказываний, который обращает эту формулу в ложное высказывание (есть хотя бы одно значение 0 в последнем столбце).

Формула называется тождественно истинной, или общезначимой, или тавтологией, если она обращается в истинное высказывание при всех наборах значений ее переменных (все элементы в последнем столбце – единицы).

Формула называется тождественной ложной, или противоречием, если она обращается в ложное высказывание при всех наборах значений ее переменных (все элементы в последнем столбце – нули).


 

 

Строим таблицу истинности для .

           
           
           
           
           
           
           
           

 

Строим таблицу истинности для .

             
             
             
             
             
             
             
             

 

Строим таблицу истинности для .

     
     
     
     
     
     
     
     

Данная формула является выполнимой, а также является опровержимой. Значит, формула не является ни тавтологией, ни противо­речием.







Дата добавления: 2015-03-11; просмотров: 3254. Нарушение авторских прав; Мы поможем в написании вашей работы!



Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...

Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...

Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

ОЧАГОВЫЕ ТЕНИ В ЛЕГКОМ Очаговыми легочными инфильтратами проявляют себя различные по этиологии заболевания, в основе которых лежит бронхо-нодулярный процесс, который при рентгенологическом исследовании дает очагового характера тень, размерами не более 1 см в диаметре...

Примеры решения типовых задач. Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2   Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2. Найдите константу диссоциации кислоты и значение рК. Решение. Подставим данные задачи в уравнение закона разбавления К = a2См/(1 –a) =...

Экспертная оценка как метод психологического исследования Экспертная оценка – диагностический метод измерения, с помощью которого качественные особенности психических явлений получают свое числовое выражение в форме количественных оценок...

Разработка товарной и ценовой стратегии фирмы на российском рынке хлебопродуктов В начале 1994 г. английская фирма МОНО совместно с бельгийской ПЮРАТОС приняла решение о начале совместного проекта на российском рынке. Эти фирмы ведут деятельность в сопредельных сферах производства хлебопродуктов. МОНО – крупнейший в Великобритании...

ОПРЕДЕЛЕНИЕ ЦЕНТРА ТЯЖЕСТИ ПЛОСКОЙ ФИГУРЫ Сила, с которой тело притягивается к Земле, называется силой тяжести...

СПИД: морально-этические проблемы Среди тысяч заболеваний совершенно особое, даже исключительное, место занимает ВИЧ-инфекция...

Studopedia.info - Студопедия - 2014-2024 год . (0.013 сек.) русская версия | украинская версия