1. Următoarea afirmație poate fi interpretată ca o declarație complexă: "Nu este adevărat că Petru sau Pavel au venit mai întâi". Care sunt afirmațiile sale elementare?
a) A: "Nu este adevărat că Petru a venit primul"
Î: "Nu este adevărat că Pavel a venit primul";
b) A: "Peter a venit primul"
Î: "Nu este adevărat că Pavel a venit primul";
c) A: "Peter a venit primul"
În: "Pavel a venit primul".
2. Care dintre formulele pot fi scrise în declarația anterioară?
3. Va fi declarația S = (A ® B) Ù (B ® C) ® (A ® C):
a) este identic;
b) identic fals;
4. Care este valoarea lui X, determinată de ecuație.
5. Ce este echivalent cu conjuncția controlului și conversia acestuia?
b) conversia implicațiilor;
c) dubla implicare.
6. În propoziția S: "Triunghiurile sunt egale numai atunci când părțile lor sunt egale." Egalitatea de unghiuri într-un triunghi este:
a) o condiție necesară;
b) condiție suficientă;
c) o condiție necesară și suficientă.
7. Care dintre funcțiile f1. F2. f3 corespunde formulei (a se vedea tabelul 3.12). .
8. Care dintre variabilele x1. x2. x3 este fictiv în formula f, unde f este dată de condiția f (0,0,1) = f (0,0,0)? Pe seturile rămase de valori ale variabilelor, f ia valoarea adevărată.
9. Care dintre variabilele x1. x2 în funcția f15 (Tabelul 3.11) sunt fictive?
a) x1 este o variabilă esențială;
b) x2 este o variabilă esențială;
c) ambele variabile x1 și x2 sunt fictive.
10. Care dintre perechi de ligamente formează un sistem complet de ligamente?
a) ( Ú. ¾);
11. Sunt date două declarații S1. "Dacă triunghiurile sunt egale, atunci laturile lor sunt egale", S2. „Părțile laterale ale triunghiuri sunt egale dacă și numai dacă triunghiuri sunt egale.“ Există o relație a consecințelor dintre S1 și S2.
c) niciuna dintre afirmații nu rezultă din cealaltă.
12. Dacă există o relație a consecințelor dintre instrucțiunile S1 și S2, sunt aceste declarații compatibile?
c) poate exista una și cealaltă opțiune.
13. Dacă S2 implică S2 și invers, S1 rezultă din S2. sunt declarații S1 și S2 echivalente?
c) poate exista una și cealaltă opțiune.
14. Dacă declarațiile sunt echivalente, există relația dintre ele?
c) poate exista una și cealaltă opțiune.
15. Pot fi adevărate toate frazele dacă argumentul este corect, dacă concluzia este falsă?
c) uneori da, uneori nu.
16. Are SKNF aceeași formula reală de algebră propozițională?
c) uneori da, uneori nu.
17. CDNF are o formulă imposibilă?
c) uneori da, uneori nu.
18. Care este adevărul stabilit de o formulă imposibilă?
a) "U" - universal;
b) "V" este gol;
c) un set A care nu este nici gol, nici universal.
19. Câte unități au o conjuncție elementară completă?
20. Câte zerouri au o disjuncție elementară completă?
21. Câte summe conțin CDNF-ul, construite dintr-o funcție dată, astfel încât pe toate seturile de valori ale variabilelor x1. x2. x3 ia valoarea 1?
22. Câți factori conțin SKNF, construiți după funcție.
23. Este posibil ca o funcție să fie definită astfel încât pe toate seturile de valori ale variabilelor x1. x2. x3 ia valoarea 0, pentru a construi o formă normală perfectă?
c) nu se poate construi o formă normală perfectă.
24. Este posibil să se scrie o declarație sub forma unui circuit de contact la scară?
c) câteodată poți, uneori nu.
25. Pot avea două circuite de contact releu care corespund aceleiași funcții de conductivitate cu un număr diferit de relee?
c) nu pot niciodată.
26. Avem formula b. care se deduce din formule. și anume . Sunt formule deducibile.
c) unele dintre ele sunt deductibile, altele nu.
27. Dacă formula b este deductibilă din axiomele calculului propozițional, care este formula algebricii propoziționale?
a) b este identic adevărat;
b) b este identic fals;
c) b este o instrucțiune variabilă.
28. Este un calcul (un sistem axiomatic formal) contradictoriu dacă are o interpretare semnificativă?
c) poate exista una și cealaltă opțiune.
29. Formula b este formula adevărată identică a algebrei propoziționale. Va fi deductibil din axiome ca o formulă de calcul propozițional?
c) poate exista una și cealaltă opțiune.
30. Este posibil să se deducă orice axiom al calculului propozițional de axiomele rămase?
a) unele axiome pot, unele nu pot;
31. Este vorba despre predicatul "Soarele se ridică în Occident"?
32. "1 = 0" este un predicat:
33. Predicatul P (x) dat pe setul M este o declarație nedeterminată dacă:
a) setul M este fuzzy;
b) variabila X denota orice element al setului M;
c) mulțimea M este nesemnificativă;
d) Setul M este infinit.
34. Care variabile în predicat "x 2 $ x 5 P (x 1. x 2. x 3. x 4. x 5) sunt conectate?
35. Care variabile în predicatul "x 2 $ x 5 P (x 1. x 2. x 3. x 4. x 5) sunt libere:
37. x Î X. y Î Y. X Ì Y. P (x, Y) - "x = y", Y este setul de numere naturale. Determinați adevărata vorbă:
38. x Î X. y Î Y. X Ì Y. P (x, Y) - "x = y", Y este setul de numere naturale. Dacă predicatele sunt echivalente și.
39. x Î X. y Î Y. X Ì Y. P (x, Y) - "x = y", Y este setul de numere naturale. Dacă predicatele sunt echivalente și.
40. x Î X. y Î Y. X Ì Y. P (x, Y) - "x = y", Y este setul de numere naturale. Dacă predicatele sunt echivalente și.
41. Care dintre afirmațiile S1. S2. S3. constând din două elemente elementare A și B, sunt echivalente?
S1. "Dacă A, atunci nu B".
S3. "Nu este adevărat că A și B".
42. Ce înseamnă "Și numai dacă B" înseamnă?
a) A este suficient pentru B;
b) A este necesar pentru B;
c) A este necesar și suficient pentru V.
43. Ce este echivalent cu conjuncția implicării și convertirea ei?
b) conversia contrapărții;
c) dubla implicare.
44. Care formula corespunde funcției f (x1, x2): f (1,1) = 1?
45. Care dintre funcțiile variabile f (x1, x2) sunt esențiale dacă f (x1, x2): f (1, i) = 0
c) ambele variabile sunt fictive.
46. Cu ajutorul căruia poate fi scrisă orice expresie a algebrei propoziționale?
a) cu ajutorul unei disjuncții;
b) cu ajutorul conjuncției;
c) cu ajutorul accidentului Schaeffer.
47. Dacă setul de adevăr al frazei A este un subset al setului de adevăr al frazei B, există relația corolară dintre A și B?
a) din A urmează B;
b) din B urmează A;
c) nici unul dintre ele nu rezultă din cealaltă.
48. Dacă declarațiile A și B sunt incompatibile, ce putem spune despre seturile de adevăr ale acestor afirmații?
a) setul de adevăr A este un subset al mulțimii adevărului din propoziția B;
b) adevărul stabilește A și B coincid;
c) adevărul setat A și B nu se intersectează.
49. În cazul în care declarațiile A și B sunt incompatibile, există relația dintre ele?
a) din A urmează B;
b) din B urmează A;
c) nici unul dintre ele nu rezultă din cealaltă.
50. Dacă rezultatul este verificat la verificarea corectitudinii raționamentului. unde P este conjuncția premiselor, iar Q este concluzia. Acest lucru înseamnă că raționamentul este corect?
c) poate fi corect în unele cazuri și incorect în altele.
51. Care este numărul maxim de termeni ai SDNF pentru formula.
52. Care este numărul maxim de factori SKNF dintr-o formulă nerealizabilă.
53. Dacă SDNF cu formula S (x1, x2, x3) conține 3 termeni, câți factori conțin SKNF-ul său?
54. Diferitele circuite de contact ale releului corespund aceleiași instrucțiuni?
c) poate corespunde, poate să nu corespundă.
55. Pot fi scrise declarații echivalente sub forma unei scheme de contact cu releu?
c) poate, dar nu întotdeauna.
56. În cazul în care calculul este contradictoriu, are o interpretare semnificativă?
c) a avut, dar nu întotdeauna.
57. Dacă calculul este complet, poate orice formulă care nu este deductibilă în acest calcul să fie adăugată la axiome, astfel încât calculul să rămână consecvent?
c) posibil, dar nu întotdeauna.
58. Dacă sistemul de axiome al unui anumit număr de calcul este independent, pot fi derivate din axiomele celorlalte?
c) posibil, dar nu întotdeauna.