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 )
Poslední komentáře