Diszkrét matematika elektronikus könyvtára
1. A következő kijelentés összetett kijelentésként értelmezhető: "Nem igaz, hogy Péter vagy Pavel először jött". Melyek az elemi kimutatásai?
a) A: "Nem igaz, hogy Péter először jött"
K: "Nem igaz, hogy Pál először jött";
b) A: "Péter először jött"
K: "Nem igaz, hogy Pál először jött";
c) A: "Péter először jött"
In: "Paul először jött."
2. Melyik képletből lehet leírni az előző kérdés feltüntetését?
3. Az S = (A ® B) Ù (B ® C) ® (A ® C):
a) azonos módon igaz;
b) azonos módon hamis;
4. Mi az X értéke, amelyet az egyenlet határoz meg.
5. Mi felel meg a kontroll konjunktúrájának és átalakításának?
b) Következmény átalakítása;
c) kettős következtetés.
6. Az S mondatban: "A háromszögek egyenlőek, ha oldaluk egyenlő." A szögek egyenlősége egy háromszögben:
a) szükséges feltétel;
b) elegendő állapot;
c) szükséges és elégséges feltétel.
7. Az f1 funkciók közül melyik. f2. f3 megfelel a képletnek (lásd a 3.12. táblázatot). .
8. Az x1 változók közül melyik. x2. x3 az f képletben fiktív, ahol f az f (0,0,1) = f (0,0,0) állapotban van megadva? A változók értékeinek maradék csoportjánál f értéket veszi figyelembe.
9. Az x1 változók közül melyik. x2 az f15 függvényben (3.11. táblázat) fiktív?
a) x1 lényeges változó;
b) x2 lényeges változó;
c) mindkét változó x1 és x2 fiktív.
10. A szalagpárok közül melyik alkotnak egy teljes szalagrendszert?
a) ( Ú. ¾);
11. Két S1 mondatot kapunk. "Ha a háromszögek egyenlők, akkor oldaluk egyenlő", S2. "A háromszögek oldalai egyenlőek, ha és csak akkor, ha a háromszögek egyenlőek." Van-e összefüggés az S1 és S2 közötti következményekkel?
c) a kijelentések egyikéből sem következik a másik.
12. Ha az S1 és az S2 állítások következményei vannak, ezek a megállapítások kompatibilisek?
c) lehet egy és a másik lehetőség.
13. Ha S2 jelentése S2 és fordítva, az S1 az S2-ből származik. az S1 és az S2 egyenértékűek?
c) lehet egy és a másik lehetőség.
14. Ha a kijelentések egyenértékűek, létezik-e közöttük kapcsolat?
c) lehet egy és a másik lehetőség.
15. Lehet-e minden mondat igaz, ha az érv helyes, ha a következtetés hamis?
c) néha igen, néha nem.
16. Van-e az SKNF-nek ugyanaz a tényleges formula a javaslati algebra?
c) néha igen, néha nem.
17. Van-e a CDNF-nek lehetetlen formula?
c) néha igen, néha nem.
18. Mi az igazság, ami egy lehetetlen képlet?
a) "U" - univerzális;
b) "V" üres;
c) olyan A készlet, amely sem üres, sem univerzális.
19. Hány egységnek van egy teljes elemi összekapcsolódása?
20. Hány zéró teljes elemi elhatárolással rendelkezik?
21. Hány summand van a CDNF tartalmaz egy adott függvényből, így az x1 változók összes értékkészletén. x2. x3 az 1 értéket veszi?
22. Hány tényező szerepel az SKNF-ben, funkcionálisan.
23. Lehetőség van egy függvény definiálására úgy, hogy az x1 változók összes értéktartományában. x2. x3 a 0 értéket veszi fel, hogy egy tökéletes normális alakot hozzon létre?
c) nem lehet tökéletes normális alakot létrehozni.
24. Lehetséges-e valamilyen nyilatkozatot írni egy létra-érintkező áramkör formájában?
c) néha lehet, néha nem.
25. Van-e két, ugyanazon vezetőképességi funkciónak megfelelő relékapcsoló áramkör különböző relékkel?
c) soha.
26. Megvan a képlet b. amely a képletekből következik. azaz . A képletek levonhatók.
c) néhányuk levezethető, egyesek nem.
27. Ha a b képlet levonható a proposicionális kalkulus axiómáiból, mi a propositional algebra formulája?
a) b azonos módon igaz;
b) b azonos módon hamis;
c) b változó utasítás.
28. Van-e valamilyen számítás (formális axiomatikus rendszer) ellentmondásos, ha értelmes értelmezése van?
c) lehet egy és a másik lehetőség.
29. A b formula a proposicionális algebra azonos módon igaz formula. A b) az axiómákból levezethető, mint a javaslati kalkulus formula?
c) lehet egy és a másik lehetőség.
30. Lehet-e levezetni a propositional kalkulus bármely axiómáját a fennmaradó axiómákból?
a) néhány axióma lehet, néhány nem;
31. Vajon az a mondás, hogy "A nap felkelt nyugaton" predikátum?
32. "1 = 0" egy predikátum:
33. Az M készleten megadott P (x) predikátum egy határozatlan kijelentés, ha:
a) Az M készlet homályos;
b) Az X változó az M készlet bármely elemét jelöli;
c) az M készlet nem számítható;
d) Az M készlet végtelen.
34. Milyen változók vannak a "x 2 $ x 5 P (x 1. x 2. x 3. x 4. x 5) predikátumban?
35. Mely változók a "x 2 $ x 5 P (x 1. x 2. x 3. x 4. x 5) predikátumban szabadok:
37. x Î X. y Î Y. X Ì Y. P (x Y) - "x = y", Y a természetes számok halmaza. Határozza meg az igazi kijelentést:
38. x Î X. y Î Y. X Ì Y. P (x Y) - "x = y", Y a természetes számok halmaza. Hogy a predikátumok egyenértékűek-e és.
39. x Î X. y Î Y. X Ì Y. P (x Y) - "x = y", Y a természetes számok halmaza. Hogy a predikátumok egyenértékűek-e és.
40. x Î X. y Î Y. X Ì Y. P (x Y) - "x = y", Y a természetes számok halmaza. Hogy a predikátumok egyenértékűek-e és.
41. Az S1 állítások közül melyik. S2. S3. amelyek két elemi A és B elemből állnak, egyenértékűek?
S1. "Ha A, akkor nem B".
S3. "Nem igaz, hogy A és B".
42. Mit jelent az "És csak ha B" mondás?
a) A elegendő B-re;
b) A szükséges a B esetében;
c) A szükséges és elegendő V.
43. Mi felel meg a következmények összekapcsolásának és átalakulásának?
b) az ellentételezés átalakítása;
c) kettős következtetés.
44. Mely képlet megfelel az f (x1, x2) függvénynek: f (1,1) = 1?
45. A f (x1, x2) változófüggvények közül melyikre van szükség, ha f (x1, x2): f (1, i) = 0
c) mindkét változó fiktív.
46. Melyik csomó segítségével lehet leírni a proposicionális algebra bármely kifejeződését?
a) diszjunkció segítségével;
b) összekötés segítségével;
c) Schaeffer stroke segítségével.
47. Ha az A mondat igazsága a B mondat igazságkészletének egy részhalmaza, létezik-e az A és B közötti összefüggés?
a) A-tól B-ig;
b) B-től következik A;
c) egyik sem követi egymást.
48. Ha az A és a B nyilatkozat összeegyeztethetetlen, mit mondhatnánk az állítások igazságáról?
a) az A igazság az A mondat igazságkészletének egy részhalmaza;
b) az A és B igazság egybeesik;
c) az A és a B igazság nem keresztezi egymást.
49. Ha az A és a B nyilatkozat összeegyeztethetetlen, létezik-e közöttük kapcsolat?
a) A-tól B-ig;
b) B-től következik A;
c) egyik sem követi egymást.
50. Ha az eredmény ellenőrzése az érvelés helyességének ellenőrzésénél történik. ahol P a helyiségek összekapcsolódása, és Q a következtetés. Ez azt jelenti, hogy az érvelés helyes?
c) bizonyos esetekben helyes lehet, és másokban helytelen.
51. Mekkora az SDNF feltételeinek maximális száma a képlet számára?
52. Mi az SKNF tényezők maximális száma egy megvalósíthatatlan képlet alapján?
53. Ha az S (x1, x2, x3) képlet SDNF-je 3 szót tartalmaz, hány faktor tartalmazza az SKNF-et?
54. A különböző relékapcsoló áramkörök ugyanazt a kijelentést tükrözik-e?
c) megfelelhet, nem felel meg.
55. Lehet-e egyenértékű nyilatkozatokat írni valamilyen relay-contact rendszer formájában?
c) lehet, de nem mindig.
56. Ha a kalkulus ellentmondásos, értelmes értelmezéssel rendelkezik?
c) van, de nem mindig.
57. Ha a számítás befejeződött, hogy bármely nem-levezethető ebben kalkulus formula, hogy adjunk a axiómák, úgy, hogy a számítás következetes marad?
c) lehetséges, de nem mindig.
58. Ha bizonyos kalkulusú axiómák rendszere független, bármely axióma származhat-e a többi közül?
c) lehetséges, de nem mindig.