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фф ЛефтОф (х, а), х и а - аргументы бинарного предиката ЛефтОф.
Do'stlaringiz bilan baham: |
