Тема: Элементы математической логики

Элементы математической логики можно найти уже в работах древнегреческих философов. В XVII в. Г. В. Лейбниц высказал идею о том, что рассуждения могут быть сведены к механическому выполнению определенных действий по установленным правилам.

Первый этап - это связь с работами Аристотеля, в которых дано систематическое изложение логики . Основным содержанием логики Аристотеля является теория дедукции, также содержаться элементы математической логики .

Элементы математической логики можно найти уже в работах древнегреческих философов. В XVII в. Г. В. Лейбниц высказал идею о том, что рассуждения могут быть сведены к механическому выполнению определенных действий по установленным правилам.

Немалый вклад в развитие математической логики внесли и советские математики Н. А. Васильев, И. И. Жегалкин, А. Н. Колмогоров, П. С...
8) Ончукова, Л. В. Элементы логики . Логические операции. Л. В. Ончукова // Учебное пособие для 6 класса.- Киров

Первый этап - это связь с работами Аристотеля, в которых дано систематическое изложение логики . Основным содержанием логики Аристотеля является теория дедукции, также содержаться элементы математической логики .

Основным содержанием аристотелевской логики является теория дедукции. В логике Аристотеля содержатся элементы математической (символической) логики , у него имеются начатки исчисления высказываний.

Средства диалектической логики применяются в тех случаях, когда от развития знания отвлекаться нельзя.
С синтаксической точки зрения в математической логике различают символы переменных, термов и формул, а с семантической точки зрения...