1. следното твърдение може да се тълкува като сложна изявление: "Не е вярно, че първата Петър и Павел дойде." Какви са съставките на своите елементарни предложения?
а): "Това не е вярно, че Петър се приближи на първо място"
Q: "Това не е вярно, че първият дошъл, Павел";
б) "първи дошъл, Петър"
Q: "Това не е вярно, че първият дошъл, Павел";
в) "първи дошъл, Петър"
Q: "Павел дойде на първо място."
2. Кои от формулите могат да бъдат писмено изявление на предишния въпрос?
3. изявление ще S = (А ® B) Ù (В ® С) ® (А ® С):
а) идентично вярно;
б) фалшива самоличност;
4. стойност X на определен от уравнението.
5. Какво е еквивалентно на връзката на kontropozitsii и превръщането му?
б) превръщане на въздействието;
в) има двойна отражение.
6. В изявлението: "триъгълници са равни, само когато те са извън него." равенство на ъглите в триъгълник е:
а) предпоставка;
б) достатъчно условие;
в) е необходимо и достатъчно условие.
7. Кои от f1 функциите. f2. f3 съответства на формула (вж. tabl.3.12). ,
8. Кои от x1 на променливи. x2. X3 е сляпо във формула F, където е е определено състояние е (0,0,1) = F (0,0,0)? На други групи стойности на F на променливи се изчислява на истина.
9. Кое от x1 на променливи. х2 в функция F15 (раздел. 3.11) са фалшиви?
а) x1 - значително променлива;
б) x2 - значително променлива;
в) x1 две променливи и x2 - фалшив.
10. Кои от сухожилията двойки формират цялостна система от връзки?
а) ( Ú, ¾);
11. Като се има предвид две твърдения S1. "Ако триъгълници са равни, равна на тяхна страна", S2. "Страните на триъгълници са равни тогава и само тогава триъгълници са равни." Има разследване дали съотношението между S1 и S2.
в) нито едно от твърденията не следва от другото.
12. Ако между изявленията S1 и S2 които е налице отношение на разследването, независимо дали тези твърдения са съвместими?
в) може да бъде едно и друга опция.
13. Ако от изявлението S1 и S2 на противоположния S2 следва S1. дали изявленията S1 и S2 са равностойни?
в) може да бъде едно и друга опция.
14. Ако твърденията са еквивалентни, ако има връзка между разследването?
в) може да бъде едно и друга опция.
15. Може да бъде с правилна логика всички помещения са верни, ако заключението е невярно?
в) понякога да, понякога не.
16. Do SKNF Там имат идентично вярно формула на Пропозиционални алгебра?
в) понякога да, понякога не.
17. Има ли PDNF в невъзможна формула?
в) понякога да, понякога не.
18. Каква е много истина в невъзможна формула?
а) "U" - универсален;
б) "V" - празна;
в) набор А не е нито празна, нито универсални.
19. Колко единици е пълно начално връзка?
20. Колко нули има пълно начално дизюнкция?
21. Колко термина съдържа PDNF построени за специфични функции, така че всички групи от променливи x1. x2. x3 тя е на стойност 1?
22. Кои фактори SKNF съдържа вградена функция.
23. Възможно ли е за дадена функция, така че всички групи от променливи x1. x2. x3 е настроен на 0, за да се изгради на всяка форма на съвсем нормално?
в) не е възможно да се изгради на всяка форма на съвсем нормално.
24. Възможно ли е за изречение, написано във формата на стълба схема?
в) може понякога, понякога не.
25. Може вериги две реле-контакт, отговарящи на същите функции проводимост имат различен брой релета?
в) никога не може да бъде.
26. Ние имаме формула б. изход от формулите. т.е. , Това е извлича формула.
в) някои от тях са се извлече, други не.
27. Ако формула Б се извлича от аксиомите на Пропозиционални смятане, тъй като това е формулата на Пропозиционални алгебра?
а) б идентично вярно;
б) да б идентично невярна;
в) б - променлива предложение.
28. спорен за някои смятане (официална система аксиоматична) ли е, ако има някаква смислена интерпретация?
в) може да бъде едно и друга опция.
29. Формула б е еднакво вярно формула на Пропозиционални алгебра. Ще б е постигнато от аксиоми като формула на Пропозиционални смятане?
в) може да бъде едно и друга опция.
30. Може ли аксиома на Пропозиционални смятане изведени от останалите аксиоми?
а) някои аксиома не може да бъде определен;
31. твърдението "слънцето изгрява на запад", сказуемото?
32. "1 = 0" е предиката:
33. предикат Р (х), определена на набор М е сигурно изказване ако:
а) М е размита комплект;
б) променлив X означава всеки член на набор М;
в) Комплектът М е несметен;
г) набор М е безкраен.
34. Какви са променливите в предиката "х 2 5 $ х Р (х 1. х 2. х 3. х 4. х 5) са свързани?
35. Какви са променливите в предиката "х 2 5 $ х Р (х 1. х 2. х 3. х 4. х 5) са безплатни:
37. х Î X. Y Î Y. X Ì Y. Р (х у.) - «х = у», Y - набор от естествени числа. Определете най-вярно твърдение:
38. х Î X. Y Î Y. X Ì Y. Р (х у.) - «х = у», Y - набор от естествени числа. р Смятате предикати и avnosilny.
39. х Î X. Y Î Y. X Ì Y. Р (х у.) - «х = у», Y - набор от естествени числа. р Смятате предикати и avnosilny.
40. х Î X. Y Î Y. X Ì Y. Р (х у.) - «х = у», Y - набор от естествени числа. р Смятате предикати и avnosilny.
41. Кои от S1 на отчети. S2. S3. състоящ се от два основни А и В са еквивалентни?
S1. "Ако A, B тогава не го прави".
S3. "Това не е вярно, че А и Б".
42. Какво се разбира под казва "И само ако Б"?
а) достатъчна за Б;
б) необходимост от V;
в) необходимо и достатъчно условие за Б.
43. Какво е еквивалентно на съюзът на отражение и превръщането му?
б) превръщане kontroppozitsii;
в) има двойна отражение.
44. Това, което е с формула F съответства на функция (X1, X2.): F (1,1) = 1?
45. Коя от променлива функции F на (. X1, Х2) са от съществено значение, ако е (x1, x2.): F (1, т) = 0
в) и двете променливи са измислени.
46. С помощта на сухожилие може да напише някаква формула на Пропозиционални алгебра?
а) от dzyunktsii;
б) като се използва съюзи;
в) използване на ход Schaeffer.
47. Ако зададете вярно твърдение е подмножество на истинността на твърденията в това дали има разследване на връзката между А и Б?
а) означава В;
б) от Б следва;
в) нито едно от тях не следва от другото.
48. Ако предложенията А и Б са несъвместими, че е възможно да се твърди, че наборите от истината за тези твърдения?
а) множество истината е подмножество на истината изказване В;
б) множество валидност А и В съвпадат;
в) набор от истински А и Б не се пресичат.
49. Ако предложенията А и Б са несъвместими, има ли връзка между разследването?
а) означава В;
б) от Б следва;
в) нито едно от тях не следва от другото.
50. Ако резултатът от проверка се получава мотиви. където F - съвпад колети, Q - заключения. Означава ли това, че мотивите правилно?
в) може да бъде вярна, в някои случаи и грешно в други.
51. максималния брой събираеми PDNF формула.
52. изразява максимален брой фактори SKNF формула невъзможно.
53. Ако PDNF формула S (х1. X2. Х 3) съдържа 3 гледна точка, тъй като съдържа фактори SKNF?
54. Има различни реле-контактните схеми, отговарящи на същото изявление?
в) може да се сравнява, не може да се сравнява.
55. Може ли размер изявление бъдат записани под формата на диаграма стълба?
в) може, но не винаги.
56. Ако смятане е в противоречие, ако това има някакво смислено тълкуване?
в) има, но не винаги.
57. Ако изчислението е пълна, дали някой не-подразбират в тази смятане формула за увеличаване на аксиомите, така че изчислението остава последователен?
в) може да бъде, но не винаги.
58. Ако системата от аксиоми на смятане, независимо от това дали някой от аксиоми изведени от другите?
в) може да бъде, но не винаги.
Свързани статии