„Ha \( a > 6 \) és \( b > 8 \), akkor \( a \) és \( b \) számtani közepe nagyobb 7-nél.”
Mit lehet tudni az \( A \), \( B \) és \( C \) kijelentések logikai értékéről?
| biztosan igaz | biztosan hamis | nem lehet eldönteni | |
|---|---|---|---|
| \( A \) | |||
| \( B \) | |||
| \( C \) |
a) Az állítás igaz. Helyes indoklás például az egyenlőtlenségek összeadásával: \( a + b > 14 \), amit kettővel osztva a számtani közepet kapjuk: \( \frac{a+b}{2} > 7 \).
b) A megfordítás: Ha \( a \) és \( b \) számtani közepe nagyobb 7-nél, akkor \( a > 6 \) és \( b > 8 \).
A megfordított állítás hamis. Jó ellenpélda: \( a = 5 \), \( b = 11 \). Ekkor \( \frac{5+11}{2} = 8 > 7 \), de az \( a > 6 \) feltétel nem teljesül.
c) A két szám harmonikus közepének képlete alapján megoldandó a következő egyenlet (\( x > 0 \)): $$ \frac{2}{\frac{1}{7} + \frac{1}{x}} = 10 \implies \frac{2 \cdot 7 \cdot x}{x + 7} = 10 $$ Rendezve: $$ 14x = 10(x + 7) \implies 14x = 10x + 70 \implies 4x = 70 \implies \mathbf{x = 17,5} $$
d) A konjunkció (\( \land \)) pontosan akkor igaz, ha mindkét tagja igaz. Így az első részből kapjuk, hogy \( A \land \neg B \) igaz, ami azt jelenti, hogy \( A \) biztosan igaz, és \( \neg B \) igaz, azaz \( B \) biztosan hamis.
A második rész (\( A \lor \neg C \)) szintén igaz. Mivel \( A \) már biztosan igaz, a diszjunkció (\( \lor \)) "vagy" kapcsolata mindenképpen igaz marad, függetlenül \( C \) értékétől. Tehát \( C \) logikai értéke nem lehet eldönteni.
| biztosan igaz | biztosan hamis | nem lehet eldönteni | |
|---|---|---|---|
| \( A \) | X | ||
| \( B \) | X | ||
| \( C \) | X |