תורת החישוביות/כריעות שפות/רדוקציה חישובית: הבדלים בין גרסאות בדף

<center><math>\langle M \rangle \notin L_D \Rightarrow \langle M \rangle \notin L_D \Rightarrow (\langle M \rangle,\langle M \rangle)\notin L_U</math></center>

{{תזכורת|שימו לב: טענת '''אם״ם''' מוכיחים ע״י הוכחת שני הכיוונים: כיוון ה"אם" וכיוון ה"ורק אם"..}}

====דוגמא נוספת:====

הוכח <math>L_U \le \text{HP}</math>.{{ש}}