Matematické Fórum

↑ scirocco:

Myslím, že je to o prienikoch, či existujú...

Mne vyšlo, že zo zadaných údajov je prienik banánov a rackov neprázdny, a teda je pravda, že niektoré banány sú rackovia.

Podľa textu som normálne farbila prieniky...

Dana1 napsal(a):

Mne vyšlo, že zo zadaných údajov je prienik banánov a rackov neprázdny, a teda je pravda, že niektoré banány sú rackovia.

Mne práve že vyšiel ten prienik prázdny, teda že môže byť prázdny, viď ten Vennov diagram v skrytom texte môjho prvého príspevku.

↑ mikl3:

No tak si jednoduše napíšeme protipříklad:

Označíme si naše

čtyři racky R1...R4
čtyři vozíky V1...V4
čtyři banány B1...B4
čtyři tlačítka T1...T4

A nyní modelujeme:
T1=R1, T2=R2
V1=R1, V2=R2
T3=B1, T4=B2
V3=B3, V4=B4

Splňuje předpoklady a nemusí splňovat závěr, tedy implikace nepla.

EDIT: Ten Vennův diagram jsem si neotevřel, to jsem přehlédl. To je samozřejmě taky validní protipříklad.

↑ musixx:
Vždyť to je to, o co jsem se snažil : D resp. pokud ta moje vymodelovaná situace splňuje to tvrzení ze zadání, tak se omlouvám, to je chyba (i když já si myslím, že nesplňuje, ať na to koukám, jak na to koukám). Bylo to myšleno jako protipříklad