Vložil € (bez ověření), 16. Srpen 2016 - 16:33

Tvrdíte:

(A) Byt je součástí stavebního objektu.
(B) Stavební objekt je součástí pozemku.
(¬C) Neplatí, že (C) Byt je součástí pozemku.

Soubor tvrzení A, B a ¬C je logicky nekonsistentní (rozporný), tj. tvrzení A, B a ¬C nemohou platit všechna tři současně. Tedy alespoň jedno z nich neplatí. Které? (Na právech se přednáší logika. Pokud Vás to zajímá podrobněji, vizte heslo transitivita inkluse. Formálně:

Platí: A & B → C      )

Odpovědět příspěvkem do diskuse

Obsah tohoto pole je soukromý a nebude veřejně zobrazen.
Tato informace bude zobrazena.
Diskuse je moderovaná - neslušné příspěvky, příspěvky mimo téma apod. mohou být odstraněny.