Презентации по Математике

Основные задачи логических систем (теорий)
Основные задачи логических систем (теорий)
ЛОГИКА ВЫСКАЗЫВАНИЙ Логика высказываний (ЛВ) – общее название для класса логических систем (точнее, теорий), выразительные средства (возможности) которых позволяют анализировать структуру контекстов (и посредством этого решать указанные выше основные задачи логических теорий), абстрагируясь от структуры простых высказываний, т.е. учитывая только логические связи простых высказываний между собой в составе сложных. Это теория сложных высказываний. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Теория типа «Логика высказываний» будет классической, если она основывается на принципах * двузначности / бивалентности (любое высказывание принимает одно и только одно значение из набора {истина, ложь}) * экстенсиональности (значение сложного высказывания есть функция от значений составляющих его простых высказываний).
Продолжить чтение