67 lines
1.6 KiB
Markdown
67 lines
1.6 KiB
Markdown
---
|
|
title: Tautologies
|
|
localeTitle: الإطناب
|
|
---
|
|
## الإطناب
|
|
|
|
### فريف
|
|
|
|
في المنطق ، فإن الحشمة هي عبارة صحيحة في كل حالة ممكنة. على العكس من الحشمة هو تناقض ، في بيان كاذبة في كل الحالات الممكنة.
|
|
|
|
### مثال
|
|
|
|
ص
|
|
|
|
ف
|
|
|
|
ص أو ف
|
|
|
|
ع → ص أو ف
|
|
|
|
تي
|
|
|
|
تي
|
|
|
|
تي
|
|
|
|
تي
|
|
|
|
تي
|
|
|
|
F
|
|
|
|
تي
|
|
|
|
تي
|
|
|
|
F
|
|
|
|
تي
|
|
|
|
تي
|
|
|
|
تي
|
|
|
|
F
|
|
|
|
F
|
|
|
|
F
|
|
|
|
تي
|
|
|
|
وكما نرى في جدول الحقيقة ، فإن العبارة "p → p OR q" هي دائمًا صحيحة (انظر العمود الأخير).
|
|
|
|
مثال من حيث المنطق المنطقي هو `B || !B` . من الصحيح دائمًا أن B صحيح أو B ليس صحيحًا.
|
|
|
|
عكس التلبس هو تناقض ، وهي صيغة "دائمًا ما تكون خاطئة". بعبارة أخرى ، التناقض خاطئ لكل إحالة لقيم الحقيقة لمكوناته البسيطة.
|
|
|
|
مثال على وجود تناقض مع المنطق البوذي هو `B && !B` من المستحيل أن يكون B صحيحًا وكاذبًا في الوقت نفسه.
|
|
|
|
#### ملحوظة
|
|
|
|
السهم يعني ببساطة "ضمنا". p يشير ضمنيًا إلى p أو q ، يمكن أن يعني أيضًا _... إذا ..._
|
|
|
|
#### معلومات اكثر:
|
|
|
|
[ويكيبيديا Tautology (المنطق)](https://en.wikipedia.org/wiki/Tautology_(logic)) [جداول الحقيقة يوتيوب](https://www.youtube.com/watch?v=O0KbymjE7xU) [رموز منطق ويكيبيديا](https://en.wikipedia.org/wiki/List_of_logic_symbols) |