1 тарау. ТҰжырымдар алгебрасы 5

Тесты по теме

1. Р(х) = «х²-4=0, хR» және Q(х)= «3х-216, хR» предикаттар берілген. Бұл предикаттардың ақиқаттық жиындарын табыңыз.

I_P = 2; -2; I_Q = (-; 6)

I_P = 2; I_Q = (-; 6)

I_P = 2; I_Q = 1; 2; 3; 4; 5; 6
2. Р(х)= «х²-4=0, хN» және Q(х)= «3х-216, хN» предикаттар берілген. Бұл предикаттардың ақиқаттық жиындарын табыңыз.

I_P = 2; I_Q = 1; 2; 3; 4; 5

I_P = 2; I_Q = 1; 2; 3; 4; 5; 6

I_P = 2; I_Q = (-; 6)

I_P = 2; I_Q = 6
3. Пара-пар предикаттарды көрсетіңіз (пәндік айнымалылар R жиынына тиісті):

х²  0 және 2^|x| = Cosx

және

және

және
4. Келесі өрнектердің қайсысы предикаттар логикасының формуласы болады?






5. формуладағы айнымалылардың түрін анықтаңыз:

х, z байланған, у бос

х, z бос, у байланған

х, у байланған, z бос

y, z байланған, x бос
6. Предикаттардың қайсылары бір бірінің терістеулері болады?

«k бүтін саны тақ», «k бүтін саны жүп»

«f функциясы жұп», «f функциясы тақ»

«ab», «ab»

«n натурал саны – жай», «n натурал саны – құрама»
7. Р(х,у) = «х натурал саны у натурал санына бөлінеді (қалдықсыз)». Келесі сөйлемдердің қайсысы ақиқат?






8. және – кез келген предикаттар болсын. Келесі формулалардың қайсысы формулаға пара-пар болады?






9. Р(х) = «х – жұп саны, хN» және Q(х)= « х 3 санына еселі, хN» болсын. Р(х)& Q(х) предикаттың ақиқаттық жиынын табыңыз.
I_{Р& Q} = 6; 12; …; 6n; …

I_{Р& Q} = 2; 3; 4; 6; …; 2n; 3n; …

I_{Р& Q} = 1; 3; 5; …; 2n-1; …
10. предикаттың ақиқаттық жиынын табыңыз.