26/10/2008 21:44new
Analytické myšlení a úsudky
Michaela Matoušová
16/4/2021 11:56new
TSP 2018 pdf poslední verze př. 29

Dobrý den,
existuje na toto nejaka tabulka? Nebo mi neco ve skole uniklo (zase)?

Víme, že následující dvě tvrzení jsou nepravdivá.
A. Některý poctivec je bohatý.
B. Žádný obchodník není poctivec.
Který závěr vyplývá z nepravdivosti tvrzení A a B?
a) Některý obchodník není bohatý.
b) Každý obchodník je bohatý.
c) Některý obchodník je bohatý.
d) Žádný obchodník není bohatý.
e) Některý poctivec není obchodník.
16/4/2021 14:33new

Něco takového se učilo v Matematice v 1. ročníku gymnázia.
Je to výroková logika, hodí se absolvovat kurz na úsudky a výrokovou logiku v rámci přípravy na Tsp.

Některý poctivec je bohatý.
Pravdivostní hodnota:
Je-li výrok pravdivý, pak Pravda: Aspoň jeden poctivec je bohatý.
Je-li lživý, pak Pravda: Není pravda, že alespoň jeden poctivec je bohatý. Z toho vyplývá: Žádný poctivec není bohatý.

Žádný obchodník není poctivec.
Je-li výrok pravdivý, pak Pravda: Každý obchodník je nepoctivec./Všichni obchodníci jsou nepoctivci.
Je-li lživý, pak Pravda je: Není pravda, že žádný obchodník není poctivec. Z toho Pravda: Alespoň jeden obchodník je poctivec/není nepoctivec.

Žádný poctivec není bohatý.

Alespoň jeden obchodník je poctivec.

z toho vyplývá: Alespoň jeden obchodník není bohatý.
Michaela Matoušová
19/4/2021 13:16new
Dobře, díky.