Джордж БульДжордж Буль ( 2.11.1815-8.12.1864) Английский математик и логик, профессор математики королевского колледжа Корка с 1849 года.Основатель математической логики.
Слайд 15
Логическое следование-импликация Импликация – получается при соединении двух высказываний
по типу Если…то… Операция импликации ложна только тогда, когда из
истины следует ложь.
Слайд 16
Следование высказываний: А: Вася-отличник В: У Васи 5 по информатике
А:
Наступает зима В: Певчие птицы улетают в жаркие страны
А: У
Маши 3 по математике В: Маша-отличница.
Слайд 17
Логическое следование-эквиваленция Эквиваленция – получается при соединении двух высказываний
словосочетанием «равносильно» Эквиваленция истина, когда высказывания равносильны.
Слайд 18
Эквивалентность высказываний: А: Вася-отличник В: У Васи 5 по информатике
А:
Наступает зима В: Певчие птицы улетают в жаркие страны
А: У
Маши 3 по математике В: Маша-отличница.
Слайд 19
Повторение: Кто придумал алгебру логики? Что такое высказывание? Чем простое
высказывание отличается от сложного? Как получается операция логического отрицания? Как получается
операция логического умножения? Как получается операция логического сложения? Как получается операция логического следования? Как получается операция логической эквиваленции?
Слайд 20
Составить таблицу истинности для высказывания: С=А+не(в)
Слайд 21
Составить таблицу истинности для высказывания: С=не(А+в)