Рубрика

Назва:

 

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

Назва:

 

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

Назва:

 

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

Назва:

 

клас  

Назва:

 

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

Назва:

 

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

Назва:

 

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

Назва:

 

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

Назва:

 

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

Назва:

 

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

Назва:

 

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

Назва:

 

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