Това е само предварителен преглед!

Предикатно смятане от първи ред

Нека се опитаме да представим в съждителното смятане следните дедуктивни конструкции: А: Всеки човек е смъртен. В: Конфуций е човек. С: Конфуций е смъртен...

Предикатно смятане от първи ред

Предмет: Математическа логика, Математика
Тип: Доклади
Брой страници: 33
Брой думи: 325
Брой символи: 2061
Изтегли