Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

Nejste přihlášen(a). Přihlásit

#1 24. 01. 2013 18:46

Nefronus
Příspěvky: 46
Reputace:   
 

Výrok

Zdravíčko, mám následující výroky:
Všichni žraloci jsou kosi. Všichni kosi jsou mladí. Proto jsou někteří žraloci mladí.
A mám napsat (ano/ne), zda poslední věta vyplývá z předchozích dvou. Z předchozích dvou ovšem vyplývá že "všichni žraloci jsou mladí", což sice znamená že aspoň "někteří jsou mladí", ale přijde mi to sporné. Jak byste to vyřešili vy?

Offline

  • (téma jako vyřešené označil(a) Nefronus)

#2 24. 01. 2013 19:00 — Editoval Andrejka3 (24. 01. 2013 19:01)

Andrejka3
Moderátor
Příspěvky: 1994
Škola: PŘF UP Olomouc (2015)
Reputace:   119 
 

Re: Výrok

Ahoj. Já bych to řešila tak, že bych mluvila řečí, kde nemůže dojít k nedorozumění :)
Množina všech žraloků... A
Množina všech kosů... B
První výrok: A je částí B.
Druhý výrok: $\forall x \in B:\;x \text{ je mladý}$.
Teď záleží na interpretaci třetího výroku. Já jej interpretuju tak:
$\exists x \in A:\; x\text{ je mladý}$.
Pokud je tedy $A \neq \emptyset$, pak je to pravda.

Není hezké, když zadání není jednoznačné. Předpokládám, že tam vidíš i něco takového:
$\exists C ,\; \emptyset \subsetneq C \subsetneq A, \: \forall x \in C:\;x\text{ je mladý}$, ale to je na domluvě.
Edit: drobnosti.


What does a drowning number theorist say?
'log log log log ...'

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson