1. Elementar mulohazalarning kamida bitta qiymatlar satrida chin qiymat qabul qiluvchi va aynan chin bo’lmagan …….formula deb ataladi?
formula bajariluvchi
2. x va y mulohazalarning dizyunksiyasi deb …..qiymat qabul qiladi?
shunday yangi x∨y mulohazaga aytiladiki, bu yangi mulohaza x va y mulohazalar faqat "yolg’on " bo’lgandagina "yolg’on" boshqa hollarda esa "chin"
3. x mulohazaning inkori deb ….qiymat qabul qiladi?
atalgan ¬x mulohazaga aytiladiki, bu mulohaza x mulohaza "chin" qiymat qabul qilganda "yolg’on", x mulohaza "yolg’on" qiymat qabul qilganda "chin"
4. Elementar mulohazalarning barcha qiymatlar satrida faqat "chin" qiymat qabul qiluvchi formulaga …..deb ataladi?
aynan chin(doimo chin) formula yoki tavtologiya
5. Faqat chin yoki yolg’on qiymat qabul qila oladigan darak gapga ….. deyiladi?
mulohaza.
6. x1, x2, x3, ... , xn mulohazalarni inkor, dizyunksiya, konyunksiya, implikatsiya va ekvivalensiya mantiqiy amallari vositasi bilan ma’lum tartibda birlashtirib xosil qilingan murakkab mulohaza …. deb ataladi?
Formula
7. x={chin} va y={yolg’on} bo’lsa (y → x) → y ni qiymatini toping?
chin
8. x va y mulohazalarning implikatsiyasi deb …… qiymat qabul qiladi?
shunday yangi x →y mulohazaga aytiladiki, bu yangi mulohaza x mulohaza "chin" va y mulohaza "yolg’on" bo’lganda "yolg’on" boshqa hollarda esa "chin"
9. x={chin} va y={yolg’on} bo’lsa (x ∨ y) → y ni qiymatini toping?
yolg’on
10. x={chin} va y={yolg’on} bo’lsa x ∨ y ni qiymatini toping?
chin
11. x={chin} va y={yolg’on} bo’lsa (x ∧ y) ↔ y ni qiymatini toping?
chin
12. x={chin} va y={yolg’on} bo’lsa x ∧ y ni qiymatini toping?