Какие математические основы лежат в основе логики и логических высказываний?

В основе математической логики лежат следующие математические основы:

• Использование математического языка символов и формул. moiseevs.ru Это позволяет устранить двусмысленность, которая свойственна естественным языкам. moiseevs.ru
• Алгебра высказываний. rustem-af.ru Раздел математической логики, в котором изучаются логические операции над высказываниями. rustem-af.ru
• Операции, позволяющие судить об истинности или ложности сложного высказывания по истинности и ложности составляющих его высказываний. moiseevs.ru К ним относятся отрицание, конъюнкция, дизъюнкция, импликация и другие. moiseevs.ru rstu.ru
• Множества истинности высказываний. rustem-af.ru Каждому высказыванию соответствует подмножество универсального множества логических возможностей — так называемое множество истинности данного высказывания. rustem-af.ru

Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем, которые лежат в основе работы любого компьютера. rstu.ru