Презентация на тему по информатике на тему Представление о логике высказываний.

правильный диагноз пациенту, пассажиру — выбрать билет на нужный поезд;

компьютер может управлять автомобилем, составлять прогнозы погоды и многое другое.
Для того чтобы выяснить, может ли компьютер «думать», сначала нужно понять, как думает человек. Ведь именно человек создал компьютер, и компьютер выполняет только те действия, которым его научил человек.
Наши знания об окружающем мире мы выражаем в повествовательных предложениях. Такие предложения могут отражать действительность верно или неверно. Думая, человек строит свои рассуждения, основываясь на собственных знаниях.
Еще Аристотель заметил, что правильность рассуждений не зависит от содержания, а определяется формой.

Аристотель (384—322 гг. до н. э.) — древнегреческий философ. Первым систематизировал формы и правила мышления, разработал теорию умозаключений и доказательств, описал логические операции. Аристотелю принадлежат формулировки основных законов мышления.

логика использует математические методы для исследования способов построения рассуждений,

доказательств, выводов.
Одним из разделов современной математической логики является логика высказываний.
На правилах математической логики построены процессы «рассуждений» компьютера. Изучение логики высказываний поможет понять, как можно научить компьютер «думать».

настоящее время можно сказать, истинно оно или ложно.
Об истинности

высказывания можно говорить только в настоящем времени: высказывание «Идет дождь» может быть истинным сейчас и ложным через час.
Пример1
Следующие предложения являются высказываниями:
Атом водорода самый легкий (истинно).
Клетка — часть атома (ложно).
Кирилл Туровский — известный английский писатель и оратор (ложно).
При делении любого числа (кроме нуля) на само себя получается число 1
(истинно).

Если высказывание А истинно, пишут А = 1, если ложно — А = 0. Часто используют такие обозначения: А = true (истина)

и А = false (ложь).
Пример 2
А = «а0 равно 1»;
В = «Масса измеряется в литрах».
Для приведенного примера А = 1, В = 0.

нет.

нет.
Постройте отрицания высказываний.