Дедуктивная система. Алфавит и формулы исчисления высказываний. Модус поненс. Вывод.
Пікірлер: 1
@timecode202418 күн бұрын
Приветствую! Тайм-коды\конспект для этого видео: 0:00 Принцип построения дедуктивных теорий... 1) исходные утверждения, связывающие исходные понятия, 2) правила вывода 0:20 сначала я излагаю по верхам (первый курс) 2:00 наша Западная цивилизация - математическая 3:30 в математике это происходит так 4:10 аксиомы 5:00 пример: стол 5:40 алфавит исчисления высказываний образован тремя группами букв: 1) переменные, 2) логические символы, 3) синтаксические символы 6:30 а) каждая переменная является формулой б) если А и В - формулы, то ... также являются формулами в) не существует никаких формул, кроме построенных согласно правилам а) и б) 7:02 следующие выражения называются схемами аксиом. Аксиомой называется слово... 8:11 единственным правилом вывода исчисления высказываний является правило. (modus pones (лат.) - MP - положительный способ (заключение ), утверждающий модус) 8:24 еще раз, это формализация логики Аристотеля. Известно также правило modus tollens -отрицательный способ (или отрицательный модус) 9:50 пример. У нас есть камень. Попы и машины. 11:36 конечная последовательность формул исчисления высказываний, каждый член который является либо аксиомой, либо непосредственным следствием предыдущих формул, называется выводом, а её члены называются выводными формулами 12:34 выводом из множества формул называется такая последовательность формул...Пример 13:25 важная штука. Доказательство. А дальше, в следующем видео, будет семантика высказываний. Успехов в обучении!