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

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

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

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

Одним из разделов современной математической логики является логика высказываний.

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