Элементы математической логики
Предлогаю этот сайт посмотреть и сделать вывод http://window.edu.ru/resource/847/54847/files/log.pdf