$ 6. ТАБЛИЧНАЯ ПРОВЕРКА ФОРМУЛ ЛОГИКИ ПРЕДЛОЖЕНИЙ

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

<< | >>

↑

Источник: А. ГЖЕГОРЧИК. ПОПУЛЯРНАЯ ЛОГИКА. ОБЩЕДОСТУПНЫЙ ОЧЕРК ЛОГИКИ ПРЕДЛОЖЕНИЙ. ИЗДАНИЕ ТРЕТЬЕ, СТЕРЕОТИПНОЕ. МОСКВА «НАУКА», 517с. 1979

Еще по теме $ 6. ТАБЛИЧНАЯ ПРОВЕРКА ФОРМУЛ ЛОГИКИ ПРЕДЛОЖЕНИЙ:

- Популярная логика -

- Бизнес, экономика, финансы - Внешне экономическая деятельность - Горнодобывающие дисциплины - Журналистика, Филология - Логика - Медицина - Педагогика - Право - Право зарубежных стран - Право и другие науки - Психология - Религия - Философия - Эзотерика, непознанное - Электрика, Бытовые приборы - Языкознание -