Michaela Matoušová
16 April at 11:56new

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 April at 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 April at 13:16new
Dobře, díky.