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

{{תרגיל|יישור=ימין|

שאלה=וודא שהנך מבין מדוע אם <math>S</math> היא תכונה לא טריוויאלית, אז התכונה המשלימה לה, <math>\overline S</math>, גם היא לא טריוויאלית.

}}