Matematické Fórum

Lichty · 21. 07. 2010 19:14

Dobrý den,
mám problém s testem - v zadání mám tyto dva příklady.

U prvního příkladu nevím a prosím o vysvětlení.
Druhý příklad bych zvolil variantu a, když A je podmnožina B a množiny nejsou totožné, C by se mělo shodovat s B.

Děkuju.

Spybot · 21. 07. 2010 19:32 — Editoval Spybot (21. 07. 2010 19:33)

Zdravim,
dvojka by mala byt v poriadku.

A co sa tyka jednotky, pozri sa na obmenu implikacie. To je nas pripad.

Lichty · 13. 08. 2010 17:54

Děkuji - můžu se zeptat, která možnost je tedy správně u výroku?

Spybot · 14. 08. 2010 00:26 — Editoval Spybot (14. 08. 2010 19:13)

No, vieme, ze obmena implikacie je ekvivalentna s povodnou implikaciou.

$(a \Rightarrow b) \Leftrightarrow (\neg b \Rightarrow \neg a)$

Oxyd · 14. 08. 2010 03:38

Spybot napsal(a):
No, vieme, ze obmena implikacie je ekvivalentna s povodnou implikaciou.

$a \Rightarrow b \Leftrightarrow \neg b \Rightarrow \neg a$

A pokud to nevíme, tak si to můžeme ověřit pravdivostní tabulkou. To tady možná bude názornější vysvětlení.

Spybot · 14. 08. 2010 14:42 — Editoval Spybot (14. 08. 2010 14:50)

$a \quad \Rightarrow \quad b$ $\Leftrightarrow$ $\neg b \Rightarrow \neg a$
$\begin{matrix} 1 & \boxed{1} & 1 \nl 0 & \boxed1 & 1 \nl 1 & \boxed0 & 0 \nl 0 & \boxed1 & 0\end{matrix}$ $\begin{matrix} \boxed {\color{red} 1} \nl \boxed 1\nl \boxed1 \nl \boxed1 \end{matrix}$ $\begin{matrix} 0 & \boxed 1 & \quad 0 \nl 0 & \boxed1 & \quad 1 \nl 1 & \boxed0 & \quad 0 \nl 1 & \boxed 1 & \quad 1\end{matrix}$