Рубрика

Назва:

 

логістика, символічна логіка, математична логіка, логічне числення  

Назва:

 

знаки, символи, символізм  

Назва:

 

природа символічної логіки, суть символічної логіки  

Назва:

 

функції - логіка  

Назва:

 

аргумент - логіка  

Назва:

 

значення, область значень - логіка  

Назва:

 

функції предмета - логіка  

Назва:

 

предикативні функції, висловлення - логіка  

Назва:

 

зв'язки - логіка: заперечення, логічна сума, логічний добуток  

Назва:

 

змінні-логіка  

Назва:

 

сталі-логіка  

Назва:

 

аксіоми, принципи, правила, закони-логіка  

Назва:

 

аксіоми, принципи логіки  

Назва:

 

аксіоматика, системи аксіом - логіка  

Назва:

 

еквівалентність, правила, закони: закони комбінації, заміни, з'єднання, заперечення  

Назва:

 

дійсність твердження  

Назва:

 

істинні функції - логіка  

Назва:

 

проблема прийняття рішення - логіка  

Назва:

 

окремі проблеми, окремі теореми логіки  

Назва:

 

застосування логіки  

Назва:

 

логіка тверджень, числення висловлень  

Назва:

 

логіка понять, числення предикатів, числення класів, функції з однією змінною  

Назва:

 

числення предикатів, визначення предикатів за змістом  

Назва:

 

числення класів, визначення предикатів за обсягом  

Назва:

 

клас  

Назва:

 

типи концепцій, сфера визначення  

Назва:

 

комбінація класів  

Назва:

 

категоризація класів  

Назва:

 

перетин класів  

Назва:

 

об'єднання класів  

Назва:

 

заперечення класів  

Назва:

 

комбіноване числення висловлень та предикатів  

Назва:

 

формалізація дедукції  

Назва:

 

логіка відношень, логіка включення, числення функцій, числення ієрархій, функції з багатьма змінними  

Назва:

 

відношення  

Назва:

 

комбінація відношень  

Назва:

 

ієрархія типів, числення ієрархій