Краткая методичка по логике - учебное пособие по математике

 

Тезисы:

  • Синоним для пропозициональной логики.
  • Теорема о выводе в пропозициональной логике.
  • Теорема о самодостаточной выразительности пропозициональной логики.
  • Синоним для кванторной логики.
  • Теорема о выводе в логике предикатов.
  • Синоним для эгалитарной логики.
  • Теорема о выводе в эгалитарной логике.
  • Замечание о слове ЛОГИКА.
  • Тема 1. Предмет и основные понятия логики.
  • Логика - наука о мышлении, наука о языковом выражении мыслей.

 

 

Похожие работы:

Предметы

Все предметы »

 

 

Актуальные учебные пособия по математике