Universal kvantifikator (∀) - FOL da universal kvantor ∀ ramziy belgisi bilan ifodalanadi hamda umumiy mulohazalarni ifodalashda foydalaniladi. Bu o‘zbek tilida “barcha singari”, “barcha buyumlar”, “har bir buyum” so‘zlariga to‘g‘ri keladi.
Глоссарий на русском языке Антетседент- антетседент условного суждения является первым компонентом предложения. В П > + П является антетседентом,а + следцвием.
Аргумент- «Аргумент» в логике исползуется в двух смыслах:
1. Аргументы как фрагменты рассуждений- аргумент предцавляет собой последователноц утверждений, в котором одно из них (заключение) должно следоват из другого или поддерживатся другими ( предпосылки).
2. Аргументы в математическом смысле- аргумент - это индивидуалный символ (переменная или концанта), взятый предикатом в атомном wфф. В атомном wфф ЛефтОф (х, а), х и а - аргументы бинарного предиката ЛефтОф.
Арицотелевские формы (А, Э, И, О)- четыре формы суждений, рассмотренные в логике Арицотеля- форма А (универсалный утвердителный). Все П - это +, Э-форма (универсалный отритсателный). Нет П - это +, И-форма (в чацноутвердителный). Некоторые П - это +, а форма О (конкретный отритсателный). Некоторые П не являются +
Логическая связноц- об’единение логических связей (?), диз’юнксия (?) и отритсание (¬) позволяют нам сформироват сложные суждения из более процых суждений. Они извецны как булевы связки после логики Джорджа Буля. Кон’юнксия соответцвует английскому слову и, диз’юнксия к или,и отритсание соответцвует фразе, это не так.
Полнота- формалная сицема завершена, эсли каждый дейцвителныйвывод доказуется с помощю правил сицемы.
Заключение- суждение, которое должно следоват из других суждений(предпосылок) в цруктуре умозаключения.
Условное суждение- суждение типа «если... тогда», т.е. суждение, выражающее какую-то условную связ между двумя эго чацями. Не все условные выражения на эцецвенном языке, например на английском, являются ицинно-функсионалными.
Кон’юнксия- булевая связка ? соответцвует английскому слову и. В предложении ФОЛ главная связка ? также называется кон’юнксией. Такое предложение верно тогда и толко тогда, когда каждая кон’юнксия верна.
Следователно- является следцвием условного выражения т.е. второй компонент предложения (предложение тщен). В П >+, + является следцвием, а П является антетседентом.
