Dowody

[bartem]

Udowodnij wynikania:

1.Jeżeli \(xy< 0\) , to \(x < 0\) lub \(y < 0\) .

2. Jeżeli średnia arytmetyczna \(n\) liczb jest większa od \(a\), to przynajmniej jedna z tych liczb jest większa od \(a\)

[Jerry]

Ja bym dowodził przez kontrapozycję, czyli
\[(p\So q)\iff(\sim q\So\sim p)\]
Pozdrawiam

[Jerry]

Mam teraz więcej czasu, zatem:
Ponieważ

1. \(\begin{cases}x\ge0\\y\ge0\end{cases}\So xy\ge0\) jest oczywistym wnioskowaniem
2. \(\bigwedge\limits_{1\le k\le n}a_k\le a\So\frac{a_1+a_2+\ldots+a_n}{n}\le\frac{n\cdot a}{n}=a
   \)

to implikacje przeciwstawne są również prawdziwe

Pozdrawiam