Предмет:
БиологияАвтор:
tyronetoraЗакон де Моргана - общее название логических законов, связывающих с помощью отрицания конъюкцию (\"и\") и дизъюнкцию (\"или\"). Названы именем английского логика XIX в. А. де. Моргана. Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции отрицаний. Напр.: \"Неверно, что завтра будет холодно и завтра будет дождливо, тогда и только тогда, когда завтра не холодно или завтра не будет дождливо\". Другой закон: отрицание дизъюнкции эквивалентно конъюкции отрицаний. Например: \"Неверно, что ученик знает арифметику или знает геометрию, тогда и только тогда он не знает ни арифметики ни геометрии\". В териминах символики логической ( р,q - некоторые высказывания; &- конъюнкция; v - дизъюнкция; ~ - отрицание, \"неверно, что\"; = - эквивалентность, \"если и только если\") данные два закона представляются формулами: ~ (p & q) = (~pv ~ q), неверно, что p и q, если и только если неверно p и неверно q; ~ (p v q) = (~ p & q), неверно, что или p или q если и только если неверно p и неверно q. На основе этих законов, используя отрицание, связку \"и\" можно определить через \"или\" и наоборот: \"p и q означает \" Неверно что не - p или не или не - q, \"p или q\" означает \"Неверно, что не p и не - q\". Напр.,\"Идет дождь и идет снег\" означает \"Неверно, что нет дождя или нет снега\"; \"Сегодня холодно или сыро\" означает что сегодня \"Неверно, что сегодня не холодно и не сыро\".
Автор:
libby2Добавить свой ответ
Предмет:
МатематикаАвтор:
miranda50Ответов:
Смотреть
Предмет:
МузыкаАвтор:
trentonhartОтветов:
Смотреть
Предмет:
Другие предметыАвтор:
anna20Ответов:
Смотреть
Предмет:
МатематикаАвтор:
amosОтветов:
Смотреть