lec3
.pdfПравила введения и удаления логических связок
Красоткина
О.В.
Формальные
системы
Формальные
системы (аксиоматические теории)
Разновидности
формальных
теорий
Свойства
формальных
теорий
Исчисление высказываний
Определение
Аксиомы
Правила
вывода
Правило введения в заключение логической связки конъюнкции
если посылки F1 и F2 имеют значение 1, то истинной является их конъюнкция, т.е.
F1; F2
F1 ^ F2
Красоткина О.В.
Правила введения и удаления логических связок
Красоткина
О.В.
Формальные
системы
Формальные
системы (аксиоматические теории)
Разновидности
формальных
теорий
Свойства
формальных
теорий
Исчисление высказываний
Определение
Аксиомы
Правила
вывода
Правило удаления в заключении логической связки конъюнкции
если посылка F1 ^ F2 имеет значение 1, то истинными являются и посылки F1 и F2 , т.е.
F1 ^ F2
F1
F1 ^ F2
F2
Красоткина О.В.
Правила введения и удаления логических связок
Красоткина
О.В.
Формальные
системы
Формальные
системы (аксиоматические теории)
Разновидности
формальных
теорий
Свойства
формальных
теорий
Исчисление высказываний
Определение
Аксиомы
Правила
вывода
Правило удаления в заключении логической связки конъюнкции
если посылка F1 истинно, а F1 ^ F2 - ложно, то ложной является и F2 , т.е.
F1; F1 ^ F2
F2
Красоткина О.В.
Правила введения и удаления логических связок
Красоткина
О.В.
Формальные
системы
Формальные
системы (аксиоматические теории)
Разновидности
формальных
теорий
Свойства
формальных
теорий
Исчисление высказываний
Определение
Аксиомы
Правила
вывода
Правило введения в заключение логической связки дизъюнкции
если одна из посылок F1 или F2 является истинной, то истинной является их дизъюнкция, т.е.
F1
F1 _ F2
F2
F1 _ F2
Красоткина О.В.
Правила введения и удаления логических связок
Красоткина
О.В.
Формальные
системы
Формальные
системы (аксиоматические теории)
Разновидности
формальных
теорий
Свойства
формальных
теорий
Исчисление высказываний
Определение
Аксиомы
Правила
вывода
Правило удаления в заключении логической связки дизъюнкции
если посылка F1 _ F2 или F2 является истинной и ложной является одна из подформул F1 или F2 , то истинной является вторая подформула F2 или F1, т.е.
F1 _ F2; F1
F2
F1 _ F2; F2
F1
Красоткина О.В.
Правила введения и удаления логических связок
Красоткина
О.В.
Формальные
системы
Формальные
системы (аксиоматические теории)
Разновидности
формальных
теорий
Свойства
формальных
теорий
Исчисление высказываний
Определение
Аксиомы
Правила
вывода
Правило введения в заключение логической связки импликации
если F2 истинно, то истинной является и формула F1 ! F2 при любом значении F1, т.е.
F2
F1 ! F2
Красоткина О.В.