Гипотетический силлогизм
- Гипотетический силлогизм — допустимая форма рассуждения в классической логике.
- Гипотетические силлогизмы бывают смешанные и чистые.
- Смешанный гипотетический силлогизм состоит из условного утверждения и утверждения, подтверждающего или отрицающего его.
- Чисто гипотетический силлогизм — силлогизм, в котором и посылки, и заключение являются условными утверждениями.
- В логике высказываний гипотетический силлогизм — допустимое правило вывода.
- Правило гипотетического силлогизма применимо в классической логике, интуиционистской логике и многих других системах.
- Однако правило гипотетического силлогизма не применимо к контрфактическим условностям из-за допущений и неопределенности в реальных контекстах.
- Формальная нотация правила вывода гипотетического силлогизма может быть записана в последовательной нотации.
- Доказательство гипотетического силлогизма может быть выполнено с использованием аксиом и теорем логики высказываний.
Полный текст статьи: