Portál středoškolské matematiky
1. Výrok (\(\mathrm{\mathbf{A}}\vee \mathrm{\mathbf{B}}\)) \(\vee\) \(\mathbf{C}\) je pravdivý, jestliže:
v(\(\mathbf{A}\)) = 0, v(\(\mathbf{B}\)) = 0, v(\(\mathbf{C}\)) = 0
v(\(\mathbf{A}\)) = 0, v(\(\mathbf{B}\)) = 1, v(\(\mathbf{C}\)) = 0
v(\(\mathbf{A}\)) = 0, v(\(\mathbf{B}\)) = 1, v(\(\mathbf{C}\)) = 1
2. Výrok (\(\mathrm{\mathbf{A}}\Rightarrow \mathrm{\mathbf{B}}\)) \(\Rightarrow\) (\(\mathrm{\mathbf{B}}\Rightarrow \mathrm{\mathbf{C}}\)) je pravdivý, jestliže:
3. Výrok, \(\mathrm{(\mathrm{\mathbf{A}}\Rightarrow \mathrm{\mathbf{B}})}\Leftrightarrow \mathrm{(¬\mathbf{A} \wedge \mathbf{B})}\) je nepravdivý, jestliže:
v(\(\mathbf{A}\)) = 1, v(\(\mathbf{B}\)) = 1
v(\(\mathbf{A}\)) = 0, v(\(\mathbf{B}\)) = 1
v(\(\mathbf{A}\)) = 1, v(\(\mathbf{B}\)) = 0
v(\(\mathbf{A}\)) = 0, v(\(\mathbf{B}\)) = 0
4. Výrok \(\mathrm{(\mathrm{\mathbf{A}}\Rightarrow \mathrm{\mathbf{B}})}\vee \mathrm{(\mathrm{\mathbf{B}}\Rightarrow \mathrm{\mathbf{A}})}\):
Je tautologií.
Není tautologií.
5. Výrok \(\mathrm{[\mathrm{\mathbf{B}}\Rightarrow \mathrm{(\mathbf{A} \wedge \mathbf{C})}]}\vee \mathrm{[(\mathrm{\mathbf{A}}\Rightarrow \mathrm{¬\mathbf{C}}) \wedge \mathbf{B}]}\):
6. V kolika řádcích tabulky pravdivostních hodnot vyjde výrok \(\mathrm{[\mathrm{(\mathrm{\mathbf{B}}\Leftrightarrow \mathrm{\mathbf{C}})}\vee \mathrm{\mathbf{A}}]}\vee \mathrm{[\mathbf{A} \wedge (\mathrm{\mathbf{B}}\Rightarrow \mathrm{\mathbf{C}})]}\) pravdivý:
7. Uvažujme implikaci: „Jestliže sodík nepatří mezi vzácné plyny, pak helium není těžký kov.“ Obměněnou implikací je výrok:
Helium není těžký kov, z plyne, že sodík nepatří mezi vzácné plyny.
Jestliže helium není těžký kov, pak sodík nepatří mezi vzácné plyny.
Jestliže helium je těžký kov, pak sodík patří mezi vzácné plyny.
Helium je těžký kov, z toho plyne, že sodík patří mezi vzácné plyny.
8. Negací výroku \([\mathrm{(\mathrm{\mathbf{A}}\vee \mathrm{\mathbf{B}})}\Rightarrow \mathrm{\mathbf{C}}] \wedge [\mathrm{(\mathrm{\mathbf{B}}\vee \mathrm{\mathbf{C}})}\Rightarrow \mathrm{\mathbf{A}}]\) je:
\(\mathrm{[(\mathrm{\mathbf{A}}\vee \mathrm{\mathbf{B}}) \wedge ¬\mathbf{C}]}\vee \mathrm{[(\mathrm{\mathbf{B}}\vee \mathrm{\mathbf{C}}) \wedge ¬\mathbf{A}]}\)
\(\mathrm{[(\mathrm{\mathbf{A}}\vee \mathrm{\mathbf{B}}) \wedge \mathbf{C}]}\vee \mathrm{[(\mathrm{\mathbf{B}}\vee \mathrm{\mathbf{C}}) \wedge \mathbf{A}]}\)
\([(\mathrm{\mathbf{A}}\vee \mathrm{\mathbf{B}}) \wedge ¬\mathbf{C}] \wedge [(\mathrm{\mathbf{B}}\vee \mathrm{\mathbf{C}}) \wedge ¬\mathbf{A}]\)
9. Výrok ekvivalentní s výrokem \(\mathrm{[\mathrm{(\mathrm{\mathbf{A}}\vee \mathrm{\mathbf{B}})}\Rightarrow \mathrm{\mathbf{A}}]}\vee \mathrm{[\mathrm{(\mathrm{\mathbf{A}}\Rightarrow \mathrm{\mathbf{B}})}\Rightarrow \mathrm{(\mathbf{A} \wedge \mathbf{B})}]}\) je:
\(\mathrm{\mathbf{B}}\Rightarrow \mathrm{\mathbf{A}}\)
\(\mathrm{(\mathrm{\mathbf{A}}\Rightarrow \mathrm{\mathbf{B}})}\vee \mathrm{\mathbf{A}}\)
\((\mathrm{\mathbf{B}}\Rightarrow \mathrm{\mathbf{A}}) \wedge (\mathrm{\mathbf{A}}\vee \mathrm{\mathbf{B}})\)