рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

ЭКВИВАЛЕНТНОСТЬ

ЭКВИВАЛЕНТНОСТЬ - раздел Математика, БУЛЕВА АЛГЕБРА   Последний Вид Выражения Операции Эквивалентности. Так Как Выс...

 

Последний вид выражения операции эквивалентности. Так как высказывание p эквивалентно q = n тогда и только тогда, когда p = q, то данная логическая операция соответствует образованию сложного предложения вида «А тогда и только тогда, когда В». Понимание и логическое значение предложения такого характера, образованного из двух любых высказываний, иногда затруднительно для восприятия человека, как и понимание предложения вида «если . . . то». Например, «2 < 3 тогда и только тогда, если светит солнце». Поэтому данное предложение понимается операцией калькуляции высказываний исключительно в том случае, если считать его синонимом высказываний вида «неправильно, что А и не В, и, неправильно, что не А и В». В этом случае данная операция «А влечёт В» и называется эквивалентностью. Часто встречаются следующие синонимы данной операции: «Для А необходимо и достаточно б», «А именно тогда, когда В».

 


– Конец работы –

Эта тема принадлежит разделу:

БУЛЕВА АЛГЕБРА

ПЛАН... Введение Предмет математической логики Калькуляция высказываний...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: ЭКВИВАЛЕНТНОСТЬ

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

ПРЕДМЕТ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
  Простейшие закономерности выводов открывались человечеством эмпирическим путем в ходе общественного производства (например, простейшие соотношения арифметики и геометрии). Открытие

КАЛЬКУЛЯЦИЯ ВЫСКАЗЫВАНИЙ
  Высказывание предметом калькуляции высказываний является анализ таких схем вывода, при которых с заменой переменных на высказывания, получаются правильные выводы. Под термином выска

АЛГЕБРА ЛОГИЧЕСКИХ ЗНАЧЕНИЙ
  Операции, проводимые на логических значениях, называются логическими операциями. Для выражения любых логических значении вводятся логические переменные; они обозначаются символами

ИМПЛИКАЦИЯ
  Операция «р влечёт q» и называется импликацией (с предварительным членом р и с последующим членом q). Допустим, что если р = п, то значение выражения р влечёт q будет

ЗАКЛЮЧЕНИЕ
  Булеву алгебру образуют все подмножества некоторого множества. То, что они образуют решетчатую структуру, очевидно. Нетрудно доказать и выполнение дистрибутивности. Нулевым элементо

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги