books logic elements
If you do not find what you're looking for, you can use more accurate words.
عناصر المنطق (Info)
جملة
الجملة في مجموعة حروف ورموز لها معنى، مثال:
- 2+3=5
- 5*9=45
من الممكن دراسة هذه العبارات من وجهات نظر مختلفة، مثلا المتغيرات تأخد قيما متعددة نرمز لها عادة بـ" X "، أو " س " بالعربية. كما يمكن دراسة صحة أو خطأ العبارة.
عبارة
تصبح إذا أمكن معرفة صحة أو خطأ العبارة نسمي عبارة كل نص رياضي له معنى ويكون إما صحيحا وإما خاطئا أما الدالة العبرية (خاصية لمتغير) فهي كل نص رياضي له معنى ويحتوي على متغير ويصبح عبارة كلما عوضنا المتغير بقيمة معينة
جًمل منطقية [الجمل الفعلية مفيدة] يمكن الحكم عليها بالصح أوالخطأ وليس كلاهما القضية المنطقية { تعريف} هي جملة خبرية مفيدة يحتمل معناها الصواب أو الخطأ وليس كلاهما من أمثلة الجمل التي تكون قضايا
- 2+3=5
- صنعاء عاصمة اليمن
- مجموع زوايا المثلث 180 ْ
ليس من الضروري أن تكون الجملة صحيحة جًمل ليست منطقية [الجمل الاسمية] والتي لا يمكن الحكم عليها بالصح أوالخطأ من أمثلة الجمل التي لا تكون قضايا الجمل التي تيدأ أستفهام – سؤال – تعجب – نداء – طلب... بصورة عامة كل الجمل التي لا يمكن الحكم عليها بالصح أوالخطأ مثل :
- ما أجمل السماء !
- كم الساعة ؟
النفي
نفي العبارة P هو عبارة صحيحة إذا كانت P خاطئة، وخاطئة إذا كانت P صحيحة. ونرمز لنفي P ب .
العطف
عطف العبارتين p و Q يكون صحيحا فقط إذا كانت العبارتان معا صحيحتين. ونرمز له ب
الفصل
فصل العبارتين p أو Q يكون صحيحا فقط إذا كانت إحدى العبارتين صحيحة أو كلاهما ونرمز له ب
الاستلزام
تكون العبارة P تستلزم Q، خاطئة فقط إذا كانت P صحيحة و Q خاطئة.
و نرمز لها ب: وهي تكافئ العبارة: .
التكافؤ
تكافؤ العبارتين و هو , ونرمز له ب: و يكون صحيحا إذا كانت P و Q خاطئتين أو صحيحتين معا
