Modus ponens

1. Pokud je dnes pondělí, pak mám přednášku logiky. Dnes je pondělí.

2. Pokud je číslo sudé, pak je dělitelné dvěma. Číslo \(8\) je sudé.

3. Pokud prší, pak je země mokrá. Prší.

4. Pokud student splní všechny úkoly, pak může jít na zkoušku. Student splnil všechny úkoly.

5. Pokud je číslo prvočíslo, pak je větší než \(1\). Číslo \(13\) je prvočíslo.

6. Pokud je osoba starší \(18\) let, může řídit auto. Osoba je starší \(18\) let.

7. Pokud je číslo dělitelné \(4\), pak je sudé. Číslo \(20\) je dělitelné \(4\).

8. Pokud průměrná teplota klesne pod \(0° C\), voda zamrzne. Průměrná teplota klesla pod \(0° C\).

9. Pokud je funkce spojitá, pak má limita hodnotu v bodě. Funkce je spojitá.

10. Pokud mám platný vstupní lístek, pak mohu vstoupit na koncert. Mám platný vstupní lístek.

11. Pokud budeš pilně studovat, pak úspěšně složíš zkoušku. Pilně studuješ.

12. Pokud je zvíře pták, pak může létat. Tento tvor je pták.

13. Pokud je úhel pravý, pak jeho velikost je \(90°\). Úhel je pravý.

14. Pokud auto má plnou nádrž, pak může ujet dlouhou vzdálenost. Auto má plnou nádrž.

15. Pokud je číslo záporné, pak není větší než nula. Číslo je záporné.

16. Pokud je funkce derivovatelná, pak je spojitá. Funkce je derivovatelná.

17. Pokud je rohlík čerstvý, pak je měkký. Rohlík je čerstvý.

18. Pokud má číslo desetinnou část, pak není celé. Číslo má desetinnou část.

19. Pokud je látka kov, pak vede elektrický proud. Látka je kov.

20. Pokud je rostlina na slunci, pak roste. Rostlina je na slunci.

21. Pokud funkce \( f(x) \) je spojitá na intervalu \([a, b]\), pak má na tomto intervalu supremum. Funkce \( f(x) \) je spojitá na \([a, b]\).

22. Pokud je číslo prvočíslem, pak má právě dva dělitele. Číslo \(17\) je prvočíslo.

23. Pokud je tvrzení pravdivé v základním kroku matematické indukce a platí indukční krok, pak tvrzení platí pro všechna přirozená čísla. Tvrzení je pravdivé pro \( n=1 \) a indukční krok platí.

24. Pokud je matice čtvercová a regulární, pak má inverzní matici. Matice \( A \) je čtvercová a regulární.

25. Pokud je číslo sudé, pak je dělitelné dvěma. Číslo \(246\) je sudé.

26. Pokud je posloupnost konvergentní, pak je omezená. Posloupnost \( (a_n) \) je konvergentní.

27. Pokud je číslo prvočíslem větším než \(2\), pak je liché. Číslo \(29\) je prvočíslo větší než \(2\).

28. Pokud logická formule je tautologií, pak je pravdivá pro všechna ohodnocení. Formule \( (P \lor \neg P) \) je tautologií.

29. Pokud množina je uzavřená a omezená, pak je kompaktibilní. Množina \( M \) je uzavřená a omezená.

30. Pokud je číslo celočíselné a dělitelné \(4\), pak je sudé. Číslo \(28\) je celočíselné a dělitelné \(4\).

31. Pokud je funkce \( f \) monotónní rostoucí a spojitá na intervalu \( [a,b] \), pak má na tomto intervalu limitu v každém bodě. Funkce \( f \) je monotónní rostoucí a spojitá na \( [a,b] \).

32. Pokud je číslo sudé a dělitelné \(3\), pak je dělitelné \(6\). Číslo \(18\) je sudé a dělitelné \(3\).

33. Pokud posloupnost \( (a_n) \) je konvergentní a její limita je \( L \), pak každý podposloupnost \( (a_{n_k}) \) také konverguje k \( L \). Posloupnost \( (a_n) \) je konvergentní s limitou \( L \).

34. Pokud je matice \( A \) regulární (invertovatelná), pak determinant \( \det(A) \neq 0 \). Matice \( A \) je regulární.

35. Pokud je číslo prvočíslo a větší než \(2\), pak je liché. Číslo \(13\) je prvočíslo a větší než \(2\).

36. Pokud množina \( S \) je otevřená v metrickém prostoru a \( x_0 \in S \), pak existuje okolí bodu \( x_0 \) úplně obsažené v \( S \). Množina \( S \) je otevřená a \( x_0 \in S \).

37. Pokud je číslo přirozené a větší než \(1\), pak je buď prvočíslo, nebo má prvočíselný dělitel. Číslo \(15\) je přirozené a větší než \(1\).

38. Pokud je posloupnost \( (x_n) \) omezená a konverguje, pak je její limita konečné číslo. Posloupnost \( (x_n) \) je omezená a konverguje.

39. Pokud je funkce \( f \) derivovatelná na intervalu \( (a,b) \), pak je spojitá na tomto intervalu. Funkce \( f \) je derivovatelná na \( (a,b) \).

40. Pokud je graf funkce \( f \) klesající na intervalu \( (a,b) \), pak pro každá \( x_1 < x_2 \in (a,b) \) platí \( f(x_1) \ge f(x_2) \). Graf funkce \( f \) je klesající na \( (a,b) \).

41. Pokud je funkce \( f \) spojitá na uzavřeném intervalu \([a, b]\), pak je omezena na tomto intervalu. Funkce \( f(x) = \sin x \) je spojitá na intervalu \([0, \pi]\).

42. Pokud \( n \) je sudé číslo, pak \( (-1)^n = 1 \). Číslo \( n = 8 \) je sudé.

43. Pokud je matice \( A \) čtvercová a invertibilní, pak rovnice \( A \mathbf{x} = \mathbf{b} \) má jediné řešení. Matice \( A = \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} \) je invertibilní.

44. Pokud posloupnost \( (a_n) \) konverguje k limitě \( L \), pak každá její podposloupnost také konverguje k \( L \). Posloupnost \( a_n = \frac{1}{n} \) konverguje k \(0\).

45. Pokud je graf \( G \) souvislý, pak pro každé dva vrcholy existuje cesta mezi nimi. Graf \( G \) je souvislý.

46. Pokud je číslo prvočíslo, pak nemá dělitele kromě \(1\) a sebe sama. Číslo \(13\) je prvočíslo.

47. Pokud logická formule \( (P \Rightarrow Q) \) je pravdivá a \( P \) je pravdivé, pak \( Q \) je pravdivé. Formule \( (R \Rightarrow S) \) je pravdivá a \( R \) je pravdivé.

48. Pokud číslo \( x \) je řešením rovnice \( x^2 = 4 \), pak \( x = 2 \) nebo \( x = -2 \). Číslo \( x = -2 \) je řešením rovnice.

49. Pokud je posloupnost monotónně rostoucí a shora omezená, pak je konvergentní. Posloupnost \( a_n = 1 – \frac{1}{n} \) je monotónně rostoucí a shora omezená.

50. Pokud je funkce \( f \) derivovatelná v bodě \( a \), pak je spojitá v bodě \( a \). Funkce \( f(x) = x^2 \) je derivovatelná v \( a=3 \).

51. Pokud funkce \( f \) je derivovatelná v bodě \( a \), pak je spojitá v tomto bodě. Funkce \( f(x) = x^2 \) je derivovatelná v bodě \( a = 3 \).

52. Pokud množina \( A \) je podmnožinou množiny \( B \), pak je průnik \( A \cap B = A \). Množina \( A = \{1,2\} \) je podmnožinou \( B = \{1,2,3,4\} \).

53. Pokud matice \( A \) je regulární (invertovatelná), pak determinant \( \det(A) \neq 0 \). Matice \( A = \begin{pmatrix}1 & 2 \\ 3 & 4\end{pmatrix} \) je regulární.

54. Pokud posloupnost \( (a_n) \) konverguje k limitě \( L \), pak je \( L \) jediná. Posloupnost \( a_n = \frac{1}{n} \) konverguje k \(0\).

55. Pokud implikace \( P \Rightarrow Q \) je pravdivá a zároveň platí \( \neg Q \), pak \( \neg P \). Implikace \( P \Rightarrow Q \) je pravdivá a \( \neg Q \) platí.

56. Pokud je funkce \( f \) rostoucí na intervalu \( (a,b) \), pak pro každé \( x_1 < x_2 \) z intervalu platí \( f(x_1) \leq f(x_2) \). Funkce \( f(x) = 3x + 1 \) je rostoucí na reálných číslech.

57. Pokud je číslo prvočíslo, pak má právě dva různé dělitele. Číslo \(13\) je prvočíslo.

58. Pokud množina \( S \) je konečná, pak každá její podmnožina je také konečná. Množina \( S = \{a,b,c\} \) je konečná.

59. Pokud množina \( M \) je prázdná, pak je její sjednocení s jakoukoliv množinou \( N \) rovno \( N \). Množina \( M \) je prázdná.

60. Pokud je číslo dělitelné \(6\), pak je dělitelné \(3\). Číslo \(54\) je dělitelné \(6\).

61. Pokud funkce \( f: \mathbb{R} \to \mathbb{R} \) je spojitá a diferencovatelná, pak její derivace existuje všude. Funkce \( f(x) = x^3 + 2x – 5 \) je spojitá a diferencovatelná na \(\mathbb{R}\).

62. Pokud matice \( A \) je regulární (invertovatelná), pak rovnice \( Ax = b \) má jednoznačné řešení. Matice \( A = \begin{pmatrix} 2 & 3 \\ 1 & 4 \end{pmatrix} \) je regulární.

63. Pokud posloupnost \( (a_n) \) konverguje k limitě \( L \) a \( f \) je spojitá funkce, pak \( \lim_{n \to \infty} f(a_n) = f(L) \). Posloupnost \( a_n = \frac{1}{n} \) konverguje k 0 a funkce \( f(x) = \sin x \) je spojitá.

64. Pokud množina \( A \) je konvexní a množina \( B \) je konvexní, pak jejich průnik \( A \cap B \) je také konvexní. Množiny \( A \) a \( B \) jsou konvexní.

65. Pokud funkce \( f \) je monotónní rostoucí a diferencovatelná, pak její derivace je nezáporná na intervalu. Funkce \( f(x) = x^2 \) je monotónně rostoucí na \([0, \infty)\) a diferencovatelná.

66. Pokud relace \( R \) na množině je reflexivní a tranzitivní, pak je předpořádek. Relace \( R = \{(x,x), (x,y), (y,y)\} \) je reflexivní a tranzitivní.

67. Pokud posloupnost \( (a_n) \) je omezená a monotónní, pak konverguje. Posloupnost \( a_n = 1 – \frac{1}{n} \) je monotónně rostoucí a omezená.

68. Pokud je množina \( S \subseteq \mathbb{R} \) uzavřená a omezená, pak je kompaktibilní. Množina \( S = [0,1] \cup \{2\} \) je uzavřená a omezená.

69. Pokud systém lineárních rovnic je homogenní a matice koeficientů má pouze triviální řešení, pak je matice regulární. Homogenní systém má řešení pouze \( x=0 \).

70. Pokud je číslo prvočíslo větší než \(2\), pak je liché. Číslo \(17\) je prvočíslo větší než \(2\).

71. Pokud je lineární zobrazení \(T : V \to W\) invertibilní, pak má jednoznačnou inverzi. Zobrazení \(T\) je invertibilní.

72. Pokud spojitá funkce \( f : [a,b] \to \mathbb{R} \) má derivaci na otevřeném intervalu \( (a,b) \) a platí \( f'(x) > 0 \) pro všechna \( x \in (a,b) \), pak je \( f \) rostoucí na \( [a,b] \). Funkce \( f \) má derivaci a \( f'(x) > 0 \) pro všechna \( x \in (a,b) \).

73. Pokud je matice \( A \in \mathbb{R}^{n \times n} \) regulární, pak existuje jedinečná matice \( A^{-1} \), která splňuje \( A A^{-1} = I_n \). Matice \( A \) je regulární.

74. Pokud je predikát \( P(x) \) pravdivý pro všechny \( x \in \mathbb{N} \) a platí \( \forall x (P(x) \Rightarrow P(x+1)) \), pak platí \( \forall x P(x) \). Predikát \( P(0) \) je pravdivý.

75. Pokud množina \( A \) je uzavřená a množina \( B \) je její podmnožinou, pak je \( B \) také uzavřená. Množina \( A \) je uzavřená a \( B \subseteq A \).

76. Pokud je graf \( G \) souvislý, pak existuje cesta mezi libovolnými dvěma vrcholy. Graf \( G \) je souvislý.

77. Pokud posloupnost \( (a_n) \) konverguje k limitě \( L \), pak je \( L \) jediná. Posloupnost \( (a_n) \) konverguje k \( L \).

78. Pokud operace \( * \) na množině \( S \) je asociativní a existuje neutrální prvek, pak je \( (S, *) \) polo-grupa. Operace \( * \) je asociativní a neutrální prvek existuje.

79. Pokud funkce \( f : \mathbb{R} \to \mathbb{R} \) je spojitá a na intervalu \( [a,b] \) dosahuje hodnot \( f(a) < 0 \) a \( f(b) > 0 \), pak existuje \( c \in (a,b) \) s \( f(c) = 0 \). Funkce \( f \) je spojitá a \( f(a) < 0 < f(b) \).

80. Pokud množina je otevřená v eukleidovském prostoru a obsahuje svůj limitní bod, pak není otevřená. Množina \( A \) je otevřená a obsahuje limitní bod \( x \).

81. Pokud matice \( A \) je regulární (inverzní existuje), pak rovnice \( Ax = b \) má jediné řešení. Matice \( A \) je regulární.

82. Pokud je funkce \( f \) spojitá na uzavřeném intervalu a má derivaci \( f‘ \), která je záporná na celém intervalu, pak \( f \) je klesající. Funkce \( f \) má derivaci \( f‘ \), která je záporná na intervalu.

83. Pokud je posloupnost \( (a_n) \) monotonní a omezená, pak je konvergentní. Posloupnost \( (a_n) \) je monotonní a omezená.

84. Pokud je operace binární, uzavřená na množině a asociativní, pak vytváří semiskupinu. Operace je binární, uzavřená a asociativní.

85. Pokud funkce \( f \) má inverzní funkci \( f^{-1} \) a \( f \) je rostoucí, pak \( f^{-1} \) je také rostoucí. Funkce \( f \) má inverzi a je rostoucí.

86. Pokud je posloupnost \( (x_n) \) Cauchyovská a prostor je úplný, pak \( (x_n) \) konverguje. Posloupnost \( (x_n) \) je Cauchyovská, prostor je úplný.

87. Pokud je operator \( T \) lineární a je injektivní, pak jeho jádro obsahuje pouze nulový vektor. Operator \( T \) je lineární a injektivní.

88. Pokud je množina \( S \) lineárně nezávislá a obsahuje \( n \) vektorů ve vektorovém prostoru dimenze \( n \), pak je báze. Množina \( S \) je lineárně nezávislá a obsahuje \( n \) vektorů ve dimenzi \( n \).

89. Pokud je funkce \( f \) diferencovatelná a její derivace \( f‘ \) je konstantní, pak \( f \) je lineární funkce. Funkce \( f \) má konstantní derivaci.

90. Pokud je systém lineárních rovnic homogenní a matice koeficientů je regulární, pak má pouze triviální řešení. Systém je homogenní, matice je regulární.

91. Pokud funkce \( f \) je spojitá na uzavřeném intervalu \([a,b]\), pak dosahuje na tomto intervalu svůj maximum. Funkce \( f(x) = -x^2 + 4x + 1 \) je spojitá na \([0,3]\).

92. Pokud matice \( A \) je regulární (invertovatelná), pak její determinant je nenulový. Matice \( A = \begin{pmatrix}2 & 3 \\ 1 & 4\end{pmatrix} \) je regulární.

93. Pokud posloupnost \( (a_n) \) je monotonní a omezená, pak je konvergentní. Posloupnost \( a_n = 1 – \frac{1}{n} \) je monotonní a omezená.

94. Pokud je funkce \( f \) diferencovatelná v bodě \( x_0 \) a \( f'(x_0) > 0 \), pak je \( f \) v tomto bodě rostoucí. Pro funkci \( f(x) = x^3 – 3x + 1 \) platí \( f'(1) = 0 \).

95. Pokud má matice \( A \) vlastní hodnotu \( \lambda = 0 \), pak není regulární. Matice \( A = \begin{pmatrix}1 & 2 \\ 2 & 4\end{pmatrix} \) má vlastní hodnotu \(0\).

96. Pokud graf funkce \( f \) má asymptotu \( y = kx + q \), pak limitní hodnota \(\lim_{x \to \infty} \frac{f(x)}{x} = k\). Funkce \( f(x) = \frac{2x^2 + 3}{x} \) má asymptotu \( y = 2x \).

97. Pokud je funkce \( f \) klesající a spojitá na intervalu \([a,b]\), pak její inverzní funkce \( f^{-1} \) je spojitá na intervalu \( [f(b), f(a)] \). Funkce \( f(x) = -x \) je klesající a spojitá na \([0,2]\).

98. Pokud je reálné číslo \( x \) záporné, pak jeho druhá mocnina \( x^2 \) je kladná. Číslo \( x = -3 \) je záporné.

99. Pokud je \( n \) sudé číslo, pak \( (-1)^n = 1 \). Číslo \( n = 8 \) je sudé.

100. Pokud je posloupnost \( (a_n) \) konvergentní, pak její limita je jednoznačná. Posloupnost \( a_n = \frac{1}{n} \) je konvergentní.