2.2.3 نفي عبارات مكممة

1) نفي العبارة ∀x∈IR/ p(x) هو العبارة
∃x∈IR/ (non)p(x).
2) نفي العبارة ∃x∈IR/ p(x)هو العبارة
∀x∈IR/ (non)p(x).

للتذكير (non)∀=∃ و (non)∃=∀

تمرين 1 tp

حدد نفي كل من العبارات التالية
1) ∀x∈IR: x+1=10.
2) ∃x∈IR: x+1=10.
3) ∀x∈IR: x> 0.
4)∃x∈IR: x≤2.

تمرين 2 tp

أكتب كل من العبارات التالية باستعمال المكممات.
1) كل عدد نسبي له مقابل.
2) القيمة المطلقة لعدد حقيقي موجبة.
3) يوجد عدد حقيقي ليس له مقلوب.