Fənn: İntellektual sistemlər Tərtib edən: dos. N. K.İsmayılov

1. 
   ekspertlər istifadə etdikləri metodları izah etmək və təbii dildə fikir bildirmək qabiliyyətinə malik olmalıdırlar
   
2. 
   istifadəçilər istifadə etdikləri metodları izah etmək və təbii dildə fikir bildirmək qabiliyyətinə malik olmalıdırlar
   
3. 
   sifarişçilər istifadə etdikləri metodları izah etmək və təbii dildə fikir bildirmək qabiliyyətinə malik olmalıdırlar
   
4. 
   istehsalçılar istifadə etdikləri metodları izah etmək və təbii dildə fikir bildirmək qabiliyyətinə malik olmalıdırlar
   
5. 
   icraçılar istifadə etdikləri metodları izah etmək və təbii dildə fikir bildirmək qabiliyyətinə malik olmalıdırlar
   

99. 
    Ekspert sistemlərinin işlənib hazırlanmasının mümkün olması üçün aşağıdakı tələblər ödənilməlidirlər (IV): (3)
    

1. 
   məsələnin həlli əməliyyatları deyil, yalnız müzakirələri tələb edir
   
2. 
   problemin həlli əməliyyatları deyil, yalnız müzakirələri tələb edir
   
3. 
   funksiyanın həlli əməliyyatları deyil, yalnız müzakirələri tələb edir
   
4. 
   modelin həlli əməliyyatları deyil, yalnız müzakirələri tələb edir
   
5. 
   proqramın həlli əməliyyatları deyil, yalnız müzakirələri tələb edir
   

99. 
    Ekspert sistemlərinin işlənib hazırlanmasının mümkün olması üçün aşağıdakı tələblər ödənilməlidirlər (V): (2)
    

1. 
   məsələ həddən artıq çətin olmamalıdır
   
2. 
   məsələ həddən artıq çətin olmalıdır
   
3. 
   məsələ həddən artıq asan olmamalıdır
   
4. 
   məsələ həddən artıq asan olmalıdır
   
5. 
   heç biri
   

99. 
    Ekspert sistemlərinin işlənib hazırlanmasının mümkün olması üçün aşağıdakı tələblər ödənilməlidirlər (VI): (2)
    

1. 
   məsələ formal şəkildə olmamalıdır
   
2. 
   məsələ formal şəkildə olmalıdır
   
3. 
   məsələ məntiqi şəkildə olmalıdır
   
4. 
   məsələ məntiqi şəkildə olmamalıdır
   
5. 
   heç biri
   

99. 
    Ekspert sistemlərinin işlənib hazırlanmasının mümkün olması üçün aşağıdakı tələblər ödənilməlidirlər (VII): (3)
    

1. 
   məsələnin həlli kifayət dərəcədə ”sağlam fikirə” əsaslanmamalıdır
   
2. 
   məsələnin həlli kifayət dərəcədə “sağlam fikirə” əsaslanmalıdır
   
3. 
   məsələnin həlli kifayət dərəcədə “sağlam fikirə” uyğun olmalıdır
   
4. 
   məsələnin həlli kifayət dərəcədə “sağlam fikirə” uyğun olmamalıdır
   
5. 
   heç biri
   

99. 
    İstifadə olunan ... və həll edilən məsələnin qeyri-formal xarakteri ekspert sisteminin işi prosesində istifadəçi ilə onun aktiv dialoqunun təmin olunmasını labüd edir. (2)
    

a) biliklər

b) sistem

c) kompüter

d) ekspert

e) hamısı birlikdə

99. 
    Ekspert sistemləri - konkret predmet oblastında mütəxəssislərin biliklərini ... edən və bu empirik təcrübəni az ixtisaslaşmış istifadəçilər üçün nüsxələrlə təqdim edən mürəkkəb proqram kompleksidir. (2)
    

a) akkumliyasiya

b) assimlyasiya

c) approksimasiya

d) interpolyasiya

e) hamısı birlikdə

115. Ekspert sistemlərinin realizasiyasının ənənəvi texnologiyası neçə əsas mərhələdən ibarətdir? (1)

a) 6

b) 3

c) 7

d) 4

e) 2

116. Ekspert sistemlərini ... adətən çevik prototip konsepsiyasından istifadə edilir. (2)

a) layihələndirərkən

b) istifadə etdikdə

c) istismar edərkən

d) istismardan çıxardıqda

e) heç biri

117. 
     ... mərhələsində problem oblastının əsaslı analizi aparılır, istifadə olunan anlayışlar və onların qarşılıqlı əlaqələri, məsələnin həlli üsulları müəyyənləşdirilir. (2)
     

a) Konseptuallaşdırma

b) İdentifikasiya

c) Formallaşdırma

d) Yerinə yetirmə

e) Testləşdirmə

117. 
     ... mərhələsində ekspert sisteminin sonuncu istifadəçi üçün yararlılığı yoxlanılır. (2)
     

a) Təcrübi istismar

b) Testləşdirmə

c) Yerinə yetirmə

d) Formallaşdırma

e) Konseptuallaşdırma

117. 
     İdentifikasiya mərhələsində: (2)
     

1. 
   həll ediləcək məsələlər, layihənin məqsədi, ekspertlər və istifadəçilərin növləri müəyyənləşdirilir
   
2. 
   həll ediləcək proqramlar, layihənin məqsədi, ekspertlər və istifadəçilərin növləri müəyyənləşdirilir
   
3. 
   həll ediləcək sorğular, layihənin məqsədi, ekspertlər və istifadəçilərin növləri müəyyənləşdirilir
   
4. 
   həll ediləcək əmrlər, layihənin məqsədi, ekspertlər və istifadəçilərin növləri müəyyənləşdirilir
   
5. 
   heç biri
   

117. 
     Konseptuallaşdırma mərhələsində: (3)
     

1. 
   problem oblastının əsaslı analizi aparılır, istifadə olunan anlayışlar və onların qarşılıqlı əlaqələri, məsələnin həlli üsulları müəyyənləşdirilir
   
2. 
   problem oblastının əsaslı təmiri aparılır, istifadə olunan anlayışlar və onların qarşılıqlı əlaqələri, məsələnin həlli üsulları müəyyənləşdirilir
   
3. 
   problem oblastının əsaslı bərpası aparılır, istifadə olunan anlayışlar və onların qarşılıqlı əlaqələri, məsələnin həlli üsulları müəyyənləşdirilir
   
4. 
   problem oblastının əsaslı təhlili aparılır, istifadə olunan anlayışlar və onların qarşılıqlı əlaqələri, məsələnin həlli üsulları müəyyənləşdirilir
   
5. 
   heç biri
   

117. 
     Formallaşdırma mərhələsində: (3)
     

1. 
   bütün növ biliklərin təqdim olunma üsul və instrumental vasitələri seçilir, əsas anlayışlar formalaşdırılır
   
2. 
   bütün növ verilənlərin təqdim olunma üsul və instrumental vasitələri seçilir, əsas anlayışlar formalaşdırılır
   
3. 
   bütün növ informasiyanın təqdim olunma üsul və instrumental vasitələri seçilir, əsas anlayışlar formalaşdırılır
   
4. 
   bütün növ əmrlərin təqdim olunma üsul və instrumental vasitələri seçilir, əsas anlayışlar formalaşdırılır
   
5. 
   heç biri
   

117. 
     Yerinə yetirmə mərhələsində: (2)
     

1. 
   bazanın biliklərlə doldurulması yerinə yetirilir
   
2. 
   bazanın verilənlərlə doldurulması yerinə yetirilir
   
3. 
   bazanın sorğularla doldurulması yerinə yetirilir
   
4. 
   bazanın əmrlərlə doldurulması yerinə yetirilir
   
5. 
   heç biri
   

117. 
     Testləşdirmə mərhələsində: (3)
     

1. 
   biliklər üzrə mühəndis və ekspert interaktiv rejimdə dialoq və izahedici vasitələrdən istifadə etməklə ekspert sistemlərinin kompetentliyini yoxlayırlar
   
2. 
   biliklər üzrə mühəndis və ekspert interaktiv rejimdə dialoq və izahedici vasitələrdən istifadə etməklə ekspert sistemlərinin kompetentliyini saxlayırlar
   
3. 
   biliklər üzrə mühəndis və ekspert interaktiv rejimdə dialoq və izahedici vasitələrdən istifadə etməklə ekspert sistemlərinin kompetentliyini yoxlamırlar
   
4. 
   biliklər üzrə mühəndis və ekspert interaktiv rejimdə dialoq və izahedici vasitələrdən istifadə etməklə ekspert sistemlərinin kompetentliyini təmin edirlər
   
5. 
   heç biri
   

117. 
     Təcrübi istismar mərhələsində: (2)
     

1. 
   ekspert sisteminin sonuncu istifadəçi üçün yararlılığı yoxlanılır
   
2. 
   ekspert sisteminin birinci istifadəçi üçün yararlılığı yoxlanılır
   
3. 
   ekspert sisteminin ikinci istifadəçi üçün yararlılığı yoxlanılır
   
4. 
   ekspert sisteminin üçüncü istifadəçi üçün yararlılığı yoxlanılır
   
5. 
   ekspert sisteminin dördüncü istifadəçi üçün yararlılığı yoxlanılır
   

117. 
     İntellektual sistemlərin xarakterik cəhəti konkret predmet oblasının məsələlərinin həlli üçün ... mövcudluğudur. (1)
     

a) biliklərin

b) informasiyanın

c) kompüterlərin

d) sistemlərin

e) konsepsiyaların

117. 
     ... faktiki xarakterli obyektləri, prosesləri və predmet oblastını, həmçinin onların xüsusiyyətlərini təsvir edən informasiyadır. (1)
     

a) Verilənlər

b) Biliklər

c) Məlumat

d) Aksiomlar

e) Verilənlər bazası

117. 
     İnlellektual informasiya sistemlərinin işlənib hazırlanmasında əvvəlcə ... toplanması və təsviri yerinə yetirilir. (1)
     

a) biliklərin

b) məlumatların

c) verilənlərin

d) texniki vasitələrin

e) hamısı birlikdə

117. 
     İnlellektual informasiya sistemlərində biliklər ... formada mövcuddur. (1)
     

a) 4

b) 9

c) 6

d) 3

e) 7

117. 
     ... biliklər faktların və hadisələrin təsviridir. (1)
     

a) Deklarativ

b) İlkin

c) Funksional

d) Prosedur

e) Struktur

117. 
     ... biliklər qoyulmuş məqsədə çatmaq üçün hadisələrin və faktların manipulyasiyası zamanı hərəkətlərin təsviridir. (1)
     

a) Prosedur

b) Struktur

c) Funksional

d) İlkin

e) Deklarativ

117. 
     Təsvir formalarının tipinə görə biliklər ... tiplərinə bölünürlər. (1)
     

a) faktlar və qaydalar

b) faktlar və evristika

c) deklarativ və prosedur

d) deklarativ və evristika

e) prosedur və qaydalar

117. 
     Biliklərin təsvirinin tipik modelləri: (2)
     

a) məntiqi, produksion, obyektyönümlü , semantik şəbəkə

b) produksion, obyektyönümlü, semantik şəbəkə

c) fiziki,məntiqi, produksion, semantik şəbəkə

d) məntiqi, produksion, obyektyönümlü, sintaktik şəbəkə

e) məntiqi, produksion, obyektyönümlü, fiziki

117. 
     Məntiqi modelin əsasını ... tərtib predikatların say sistemləri təşkil edir. (1)
     

a) birinci

b) ikinci

c) sonuncu

d) əvvəlinci

e) üçüncü

117. 
     Kompüterdə emal zamanı verilənlər aşağıdakı çevrilmə mərhələlərini keçirlər(I): (3)
     

1. 
   verilənlərin mövcudluğunun ilkin forması (müşahidələrin nəticələri və ölçmələri, cədvəllər, sorğular, diaqramlar, qrafiklər və s.)
   
2. 
   verilənlərin mövcudluğunun son forması (müşahidələrin nəticələri və ölçmələri, cədvəllər, sorğular, diaqramlar, qrafiklər və s.)
   
3. 
   verilənlərin mövcudluğunun sonrakı forması (müşahidələrin nəticələri və ölçmələri, cədvəllər, sorğular, diaqramlar, qrafiklər və s.)
   
4. 
   verilənlərin mövcudluğunun ənənəvi forması (müşahidələrin nəticələri və ölçmələri, cədvəllər, sorğular, diaqramlar, qrafiklər və s.)
   
5. 
   verilənlərin mövcudluğunun əsas forması (müşahidələrin nəticələri və ölçmələri, cədvəllər, sorğular, diaqramlar, qrafiklər və s.)
   

117. 
     Kompüterdə emal zamanı verilənlər aşağıdakı çevrilmə mərhələlərini keçirlər(II): (3)
     

1. 
   verilənləri kompüterə daxil etmək və emal etmək üçün nəzərdə tutulmuş verilənlərin xüsusi dillərdə təsviri
   
2. 
   verilənləri kompüterə daxil etmək və bərpa etmək üçün nəzərdə tutulmuş verilənlərin xüsusi dillərdə təsviri
   
3. 
   verilənləri kompüterə daxil etmək və təhlil etmək üçün nəzərdə tutulmuş verilənlərin xüsusi dillərdə təsviri
   
4. 
   verilənləri kompüterə daxil etmək və təşkil etmək üçün nəzərdə tutulmuş verilənlərin xüsusi dillərdə təsviri
   
5. 
   verilənləri kompüterə daxil etmək və xaric etmək üçün nəzərdə tutulmuş verilənlərin xüsusi dillərdə təsviri
   

117. 
     Kompüterdə emal zamanı verilənlər aşağıdakı çevrilmə mərhələlərini keçirlər(III): (3)
     

1. 
   maşın informasiya daşıyıcılarında verilənlər bazası
   
2. 
   sistem informasiya daşıyıcılarında verilənlər bazası
   
3. 
   proqram informasiya daşıyıcılarında verilənlər bazası
   
4. 
   daxili informasiya daşıyıcılarında verilənlər bazası
   
5. 
   xarici informasiya daşıyıcılarında verilənlər bazası
   

117. 
     Elementar mülahizələr üzərində aparılan məntiqi əməllər: (1)
     

a) , ^, , , 

b) +, ^, , , 

c) , *, , , 

d) , ^, , /, 

e) , ^, , -, 

117. 
     İmplikasiyanın nəticəsinin qiyməti ... operanddan asılıdır. (1)
     

a) 2

b) 1

c) 3

d) 5

e) 6

117. 
     İmplikasiyanın nəticəsi ... ifadəsinin nəticəsi ilə üst-üstə düşür. (2)
     

a) AB

b) AB

c) A^B

d) AB

e) +AB

117. 
     Məntiqi modellər əsasən ... sistemlərində geniş tətbiq edilir. (1)
     

a) tədqiqat

b) əməliyyat

c) informasiya

d) kompüter

e) heç biri

117. 
     Produksion modeldə biliklər ”Əgər-onda” tipli ... yığımı şəklində təsvir olunurlar. (1)
     

a) qaydalar

b) məlumatlar

c) teoremlər

d) verilənlər

e) elementlər

117. 
     ... tipli ekspert sistemlərinin tərkibinə məntiqi nəticənin müəyyən mexanizmini realizə edən faktiki verilənlər bazası (işçi yaddaş) və qaydalar interpretatoru daxildir. (1)
     

a) Produksion

b) məntiqi

c) obyektyönümlü

d) semantik şəbəkə

e) hamısı birlikdə

117. 
     İxtiyari produksion qaydalar biliklər bazasında saxlanılır və iki hissədən ibarətdir: (2)
     

a) antesedent və konsekvent

b) antesedent və konyuktiv

c) konsekvent və aqreqativ

d) konsekvent və freym

e) freym və aqreqativ

117. 
     ... (nəticə) bir və ya bir neçə cümlədən ibarətdir ki, bunlar da ya bir neçə faktı ifadə edir, yaxud icra olunacaq müəyyən əməliyyatı göstərir. (2)
     

a) Konsekvent

b) Freym

c) Antesedent

d) Aqreqativ

e) Konyuktiv

117. 
     Ən geniş imkanlara ... üçlüyünün (triplet) köməyi ilə malik olunur. (1)
     

a) obyekt-atribut-qiymət

b) məlumat-atribut-qiymət

c) informasiya-atribut-qiymət

d) baza-atribut-qiymət

e) əlamət-atribut-qiymət

117. 
     Produksion sistemin iki tipi mövcuddur: (3)
     

a) düz və əks nəticəli

b) düz və əks əlaqəli

c) düz və tərs nəticəli

d) düz və tərs əlaqəli

e) düz və əks qiymətli

117. 
     Produksion sistemlərin əsas üstünlüklərindən biri ... (2)
     

a) biliklərin təsvirinin və məntiqi nəticənin təşkilinin sadəliyidir

b) biliklərin təsvirinin və məntiqi nəticənin təşkilinin mürəkkəbliyidir

c) obyektlərin təsvirinin və məntiqi nəticənin təşkilinin sadəliyidir

d) biliklərin təsvirinin və fiziki nəticənin təşkilinin sadəliyidir

e) biliklərin təsvirinin və biliklər bazasının təşkilinin sadəliyidir

117. 
     Produksion sistemin çatışmamazlıqları(I): (2)
     

a) insana xas olan biliklər strukturundan fərqlilik

b) insana xas olan biliklər strukturu ilə eynilik

c) kompüterə xas olan biliklər strukturundan fərqlilik

d) obyektə xas olan biliklər strukturundan fərqlilik

e) sistemə xas olan biliklər strukturun ilə eynilik

117. 
     Produksion sistemin çatışmamazlıqları(II): (2)
     

a) qaydaların qarşılıqlı münasibətlərinin aydın olmaması

b) qaydaların qarşılıqlı münasibətlərinin aydın olması

c) qaydaların qarşılıqlı qiymətlərinin aydın olmaması

d) biliklərin qarşılıqlı münasibətlərinin aydın olması

e) münasibətlərin qarşılıqlı qaydalarının aydın olmaması

117. 
     Produksion sistemin çatışmamazlıqları(III): (2)
     

a) biliyin obrazının tamlığının qiymətləndirilməsinin mürəkkəbliyi

b) obyektin obrazının tamlığının qiymətləndirilməsinin mürəkkəbliyi

c) insanın obrazının tamlığının qiymətləndirilməsinin mürəkkəbliyi

d) sistemin obrazının tamlığının qiymətləndirilməsinin mürəkkəbliyi

e) bazanın obrazının tamlığının qiymətləndirilməsinin mürəkkəbliyi

117. 
     Produksion sistemin çatışmamazlıqları(IV): (2)
     

a) biliklərin emalının səmərəliliyinin aşağı olması

b) biliklərin emalının səmərəliliyinin yuxarı olması

c) biliklərin emalının səmərəliliyinin çox olması

d) biliklərin emalının səmərəliliyinin az olması

e) biliklərin emalının səmərəliliyinin olmaması

117. 
     Freym modelləri ... (3)
     

a) insan yaddaşının və təfəkkürünün sistemləşdirilmiş psixoloji modelini təsvir edən M.Minskinin freymlər nəzəriyyəsinə əsaslanır

b) insan yaddaşının və təfəkkürünün sistemləşdirilmiş məntiqi modelini təsvir edən Pascalın freymlər nəzəriyyəsinə əsaslanır

c) insan yaddaşının və təfəkkürünün sistemləşdirilmiş formal modelini təsvir edən Neymanın freymlər nəzəriyyəsinə əsaslanır

d) insan təfəkkürünün sistemləşdirilməmiş psixoloji modelini təsvir edən Tyurinqin freymlər nəzəriyyəsinə əsaslanır

e) insan təfəkkürünün sistemləşdirilmiş psixoloji modelini təsvir edən Nobelin freymlər nəzəriyyəsinə əsaslanır

117. 
     Bir neçə konseptual obyekti təsvir etmək üçün verilənlərin strukturu ... adlanır. (2)
     

a) freym

b) relyasion

c) obyekt

d) qraf

e) heç biri

117. 
     Slotlarda olan proseduralar əlaqəli və ya birləşdirilmiş ... adlanırlar. (1)
     

a) slotlar

b) freymlər

c) verilənlər

d) sistemlər

e) biliklər

117. 
     ... elementləri konkret qiymətlərin müəyyən edilməsində istifadə olunan qaydalar ola bilərlər. (1)
     

a) Slotun

b) Obyektin

c) Çoxluğun

d) Sistemin

e) Freymin

117. 
     Predmet oblastının verilənləri yığımı qarışılıqlı əlaqəli freymlər çoxluğunu təsvir edirlər ki, ... (3)
     

a) onlar da deklarativ və prosedur qiymətləri birləşdirən vahid freym sistemini əmələ gətirirlər

b) onlar da deklarativ və prosedur qiymətləri birləşdirən vahid informasiya sistemini əmələ gətirirlər

c) onlar da deklarativ və prosedur qiymətləri birləşdirən vahid bilik sistemini əmələ gətirirlər

d) onlar da deklarativ və prosedur qiymətləri birləşdirən vahid prosedur sistemini əmələ gətirirlər

e) onlar da deklarativ və prosedur qiymətləri birləşdirən vahid proqram sistemini əmələ gətirirlər

117. 
     İyerarxik freymlər bir-biri ilə ... əlaqəsi ilə birləşmişlər. (1)
     

a) nəsl-növ

b) növ-əlamət

c) nəsl-əlamət

d) informasiya

e) nəsl-qrup

117. 
     ... öz valideynlərinin xarakteristikalarının qiymətlərini irsən ötürmək qabiliyyətinə malikdirlər. (2)
     

a) Freymlər

b) Qraflar

c) Növlər

d) Prosedurlar

e) İnsanlar

117. 
     Freymin şablonuna sinif kimi, freymin nüsxəsinə isə ... kimi baxmaq olar. (1)
     

a) obyekt

b) element

c) sistem

d) baza

e) çoxluq

117. 
     Obyektyönümlü proqramlaşdırma dilləri obyekt və sinif yaradılması, həmçinin ... emalı prosedurasının təsviri vasitələrinə malikdirlər. (2)
     

a) obyektin

b) sistemin

c) bazanın

d) verilənlərin

e) informasiyanın

117. 
     İnformasiyanın ənənəvi emalı texnologiyası ... nəzəriyyəsinə əsaslanan hesablamalara istiqamətlənmişdir ki, bu da ... arxitekturalı EHM-də realizə olunur. (1)
     

a) Tyurinq, fon Neyman

b) Tyurinq, Bebbiç

c) fon Neyman, Minski

d) Viner, Bebbiç

e) fon Neyman, Viner

117. 
     Biliklərin emalı prosesi ... fəaliyyətində mühakimə yürütmək, sistemləşdirmək, maarifləndirmək və s. kimi sahələri modelləşdirir. (2)
     

a) insan

b) kompüter

c) informasiya

d) sistem

e) hamısı birlikdə

117. 
     İntellektual informasiya sistemlərinin xarakterik cəhəti ... (3)
     

a) informasiyanın ənənəvi emalı üsulundan fərqləndirən biliklərdən istifadə edilməsidir

b) informasiyanın ənənəvi emalı üsulundan fərqləndirən sistemlərdən istifadə edilməsidir

c) informasiyanın ənənəvi emalı üsulundan fərqləndirən proqramlardan istifadə edilməsidir

d) informasiyanın ənənəvi emalı üsulundan fərqləndirən məlumatlardan istifadə edilməsidir

e) informasiyanın ənənəvi emalı üsulundan fərqləndirən verilənlərdən istifadə edilməsidir

117. 
     İntellektual sistemlərdə biliklərin təsvirinin seçilməsi məsələsi ... əsas vacib hissəsidir. (1)
     

a) layihələndirmənin

b) qurulmanın

c) sistemin

d) informasiya emalının

e) nizamlamanın

117. 
     Ənənəvi məntiq 2500 il bundan əvvəl ... tərəfindən təklif olunan formal sistemlər hesab olunur. (1)
     

a) Aristotel

b) Sokrat

c) Fales

d) Diogen

e) Homer

117. 
     Silloqizmin hər bir qaydası ... nəticəyə keçməyi müəyyən edir. (1)
     

a) anlayışlardan

b) mühakimələrdən

c) cümlələrdən

d) aksiomlardan

e) səbəblərdən

117. 
     Silloqizm hər şeydən əvvəl ... dildə olan ağıllı diskussiyaları idarə etmək üçün nəzərdə tutulmuşdur. (1)
     

a) təbii

b) bədii

c) ədəbi

d) riyazi

e) maşın

117. 
     Yerdəyişmələr qaydası: (3)
     

a) Əgər C(A)- tavtologiyadırsa və C-yə daxil olan A düsturunun əvəzinə B düsturunu yazsaq, onda C(B)- tavtologiya olacaqdır

b) Əgər C(A)- tavtologiyadırsa və C-yə daxil olan B düsturunun əvəzinə A düsturunu yazsaq, onda C(B)- məntiq qanunu olacaqdır

c) Əgər C(A)- tavtologiyadırsa və C-yə daxil olan A düsturunun əvəzinə B düsturunu yazsaq, onda C(B)- tavtologiya olmayacaqdır

d) Əgər C(A)- tavtologiyadırsa və C-yə daxil olan A düsturunun əvəzinə B düsturunu yazsaq, onda C(B)- ziddiyyət olacaqdır

e) Əgər C(A)- tavtologiyadırsa və C-yə daxil olan A düsturunun əvəzinə B düsturunu yazsaq, onda C(B)- silloqizm olacaqdır

117. 
     Tavtologiya üçün ... simvolu istifadə edilir və “ümumi əhəmiyyətli” və ya “həmişə doğrudur” kimi oxunur. (2)
     

a) =

b) =

c) =

d) /=

e) =\

117. 
     Ekvivalentliyi konyuktiv formada aşağıdakı kimi də yazmaq olar: (3)
     

a) (AB)^(BA)

b) (A^B)^(BA)

c) (AB)^(B^A)

d) (AB)  (BA)

e) (A^B)^(B^A)

117. 
     Ekvivalentliyin məntiqi nəticəsi prosedurasında ... üsuldan istifadə etmək olar. (1)
     

a) 2

b) 4

c) 3

d) 8

e) 6

117. 
     Rezolyusiya qaydasının tətbiqi ilə məntiqi nəticələr prosesində aşağıdakı mərhələlər yerinə yetirilir (I): (3)
     

a) Ekvivalentlik və implikasiya əməliyyatlarını kənarlaşdırırlar:

AB=(AB)^(BA); AB=AB

b) Ekvivalentlik və implikasiya əməliyyatlarını kənarlaşdırırlar:

AB=(AB)^(BA); AB=AB

c) Ekvivalentlik və implikasiya əməliyyatlarını kənarlaşdırırlar: