Predikatlar hisobida yechilish

m i s o l .

ekanligini ko‘rsatamiz.
xy( А(x)  B( y))  yx( А(x)  B( y))
teng kuchlilik o‘rinli

xy( А(x)  B( y))  x( А(x)  yB( y))  xА(x)  yB( y) ,

yx( А(x)  B( y))  y(xА(x)  B( y))  xА(x)  yB( y) .

Demak, keltirilgan teng kuchlilik o‘rinlidir. ■

65. 
    Formulaning deyarli normal shakli deganda nimani tushunasiz?
    

27-savolning javobi

66. 
    Predikatlar mantiqida yechilish muammosi deganda nimani tushunasiz?
    

1. 
   savolning javobi
   

67. 
    Chekli sohalarda yechilish muammosi haqida nimalarni bilasiz?
    

2. 
   savolning javobi
   

68. 
    Yopiq formula nima?
    

3. 
   savolning jb.i ichida bor
   

69. 
    Formulaning umumiy yopilishi deganda nimani tushunasiz?
    

3-savolning jb.i ichida bor

70. 
    Formulaning mavjudligini yopish tushunchasi qanday ta’riflanadi?
    

3-savolning jb.i ichida bor

71. 
    Tarkibida bir turdagi kvantor amali qatnashuvchi normal shakldagi formulalar uchun yechilish muammosini bilasizmi?
    

3-savolning jb.i ichida bor