Логика и метаматематические исследования

Задача определения вида формулы (тождественно истинной, тождественно ложной или нейтральной в теории моделей и теоремы (не-теоремы) в теории доказательств) по её форме является общей, в свою очередь, для алгебры высказываний и для дедуктивной логики высказываний (исчисления высказываний в теории доказательств). В теории доказательств теорема - это последняя формула в последовательности формул, каждая из которых является аксиомой или формулой, полученной из двух предыдущих по правилу вывода Modus Ponens (в исчислении высказываний).

✍11❤3💋3👍1

www.tgoop.com/logic_metamathematics/788

669 viewsedited  Nov 10, 2024 at 16:16

Задача определения вида формулы (тождественно истинной, тождественно ложной или нейтральной в теории моделей и теоремы (не-теоремы) в теории доказательств) по её форме является общей, в свою очередь, для алгебры высказываний и для дедуктивной логики высказываний (исчисления высказываний в теории доказательств). В теории доказательств теорема - это последняя формула в последовательности формул, каждая из которых является аксиомой или формулой, полученной из двух предыдущих по правилу вывода Modus Ponens (в исчислении высказываний).

BY Логика и метаматематические исследования