Тема: Логика высказываний. Логика предикатов. Реляционная логика

рассмотреть алгебру логики предикатов и исчисление предикатов , изучить реляционную алгебру. Для решения поставленных задач использовался теоретический материал научных работ Лаврова И.А., Максимовой Л.Л. и Пономарева В.Ф. 1 Логика высказываний .

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

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

Тип работы. Лекция. Ключевые слова. суждение логика мышление. Дата загрузки. 05.09.2007 13:07:08.
Высказывание "Нет повести печальнее на свете, чем повесть о Ромео и Джульетте" представляет собой суждение.

Кафедра «Философия, социально-культурные технологии и туризм» Контрольная работа. по дисциплине. Логика . на тему: Суждение.
.5 Атрибутивные реляционные и экзистенциальные суждения. .6 Модальные высказывания , их основные виды.