Twitter | Search | |
λογική
‏‏‏
215
Tweets
181
Following
273
Followers
Tweets
λογική May 11
القضية المهملة: -أرسطو: في قوة الجزئية بالضرورة. -جورج: ليست في قوة الجزئية بالضرورة.
Reply Retweet Like
λογική May 7
-أرسطو:الكلية تستلزم جزئيتها(إذا وُجد الموضوع) -جورج بول: الكلية لا تستلزم جزئيتها.
Reply Retweet Like
λογική May 2
"صدق الموجبة الكلية يستلزم صدق الموجبة الجزئية المتداخلة معها" المنطق الأرسطي: نعم المنطق الرمزي(رتبة أولى): نعم المنطق الرمزي(رتب عليا): لا
Reply Retweet Like
λογική May 2
اللي يعتقدون أن "المنطق" لفظ مختص أو ليس له معنى آخر, لا يكلموني عن المنطق.
Reply Retweet Like
λογική Apr 30
-الأولى/الرابعة: "كل عربي و أوروبي معا فهو إنسان" -الثانية/الثالثة: "كل عربي أو أوروبي فهو إنسان"
Reply Retweet Like
λογική Apr 30
Replying to @Nuclear_23
غير صحيح,لأنني قلت "أ يستلزم ب يستلزم ج" وليس "أ يستلزم ب (و) ب يستلزم ج", انظر للفرق بينهما في الصور,الأولى خاطئة لأنها قد تكذب
Reply Retweet Like
λογική Apr 30
Replying to @Nuclear_23
صياغتي كانت ناقصة: هل لازم اللازم يستلزم لزوم ملزوم الملزوم له؟ يعني إذا أ يستلزم ب يستلزم ج, فهل ذلك يستلزم أن أ يستلزم ج؟
Reply Retweet Like
λογική Apr 21
"All Arabs and Europeans are Human."
Reply Retweet Like
λογική Apr 11
ليس نقيض أحد اللوازم معا ملزوما لنقيض ملزوم اللوازم معا مع اللوازم معا: [A → (B ∧ C)] =/= [~B → (~A ∧ C)]
Reply Retweet Like
λογική Apr 11
نقيض لازم ملزومات معا ملزوم مع الملزومات معا لنقيض أحد الملزومات معا: [(A ∧ B) → C] ⇔ [(A ∧ ~C) → ~B]
Reply Retweet Like
λογική Apr 11
"When I eat alot, I get fat unless I work out."
Reply Retweet Like
λογική Apr 10
Replying to @WhatDoesMean_
Ethnology =/= Anthology دقق فيما تكتب.
Reply Retweet Like
λογική Apr 10
تساوي:تطابق قيم الصدق/الكذب للطرفين: (A → B) ⇔ (~A ∨ B) لاتساوي:لاتطابق قيم الصدق/الكذب للطرفين: (A → B) ≠ (A ∧ ~B)
Reply Retweet Like
λογική Apr 10
اشتراك اللوازم بالملزوم يجيز جمعها/توزيعها [(A→B)∧(A→C)]⇔[A→(B∧C)] اشتراك الملزومات باللازم لايجيز جمعها/توزيعها [(A→C)∧(B→C)]=/=[(A∧B)→C]
Reply Retweet Like
λογική Apr 10
كل = ليس بعض ليس ليس كل = بعض ليس كل ليس = ليس بعض ليس كل ليس = بعض ∀ = ~∃~ ~∀ = ∃~ ∀~ = ~∃ ~∀~ = ∃
Reply Retweet Like
λογική Apr 10
جزئيةموجبة ~∀x ~P(x)⇔∃x P(x) جزئيةسالبة ~∀x P(x)⇔∃x ~P(x) كليةسالبة ∀x ~P(x)⇔~∃x P(x) كليةموجبة ∀x P(x)⇔~∃x ~P(x)
Reply Retweet Like
λογική Apr 10
سلب المكمّم يقلب الكيف والكم: المكمّم Quantifier: ∀/∃ الكيف Quality: إيجاب/سلب الكم Quantity: كل/بعض
Reply Retweet Like
λογική Apr 10
الصحة Validity السلامة Soundness الصحة: صورة الحجة فقط. السلامة: صورة الحجة ومادتها معا.
Reply Retweet Like
λογική Apr 10
نقيض لازم اللازم ملزوم لنقيض الملزوم: [ A → B → C ] ⇔ [ ~C → B →~A ]
Reply Retweet Like
λογική Apr 9
- A ∴B Soundness: [A∧(A→B)] - A - B ∴C Soundness: [A∧B∧((A∧B)→C)] - A⇔B - ~A ∴~B Soundness: [A⇔B∧~A∧((A⇔B∧~A)→~B)]
Reply Retweet Like