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

И действительно, в исчислении высказываний в теории моделей мы обнаруживаем, что совершенная дизъюнктивная форма формулы, которая содержит 2 в степени n (где n - количество пропозициональных букв) попарно различных элементарных конъюнкций, выражает форму правильного рассуждения (в теории моделей представленную тождественно истинной формулой).

www.tgoop.com/logic_metamathematics/785

495 viewsNov 9, 2024 at 00:52

И действительно, в исчислении высказываний в теории моделей мы обнаруживаем, что совершенная дизъюнктивная форма формулы, которая содержит 2 в степени n (где n - количество пропозициональных букв) попарно различных элементарных конъюнкций, выражает форму правильного рассуждения (в теории моделей представленную тождественно истинной формулой).

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