1 прочтение · 1 месяц назад
Квантор существования, как необходимый и достаточный минимум для получения кванторов целого и части, ∃, ∀, Δ.
В этой части мы попробуем, насколько это возможно, углубиться в основы гуманитарной логики, оставив в стороне некоторые аспекты формальной логики и сосредоточившись на других важных вопросах. Начнём с того, что мы будем рассматривать утверждения и отрицания существования, не используя такие понятия, как«все», «часть», «большинство» и другие кванторы. Мы также не будем говорить о принадлежности, качествах или отношениях. Для обозначения квантора существования будем использовать символ «∃», как это принято в литературе...
6 прочтений · 2 месяца назад
От квантора существования к кванторам общего и частного. E- Квантор существования, (Exists). A - Квантор всеобщности, (All). P - Квантор части, (Part). E => {A, P} a, b- «-E-x», «-Ex» /Родительский класс пустое множество/ a, c- «-E-x», «E-x» /Противоречие/ a, d- «-E-x», «Ex»: AEx b, c- «-Ex», «E-x» AE-x b, d- «-Ex», «Ex»: /Противоречие/ c, d- «E-x», «Ex»: PEx Gayane Logic #GayaneLogic #Logic #quantifier #տրամաբանություն #Логика #Logique #Logik #Lógica #منطق #तर्क #逻辑