SEMINÁRNÍ CVIČENÍ Č. 4: PREDIKÁTOVÁ LOGIKA 1. Vyjádřete pomocí jiného kvantifikátoru následující výroky: a) Některé nájmy bytu zaniknou písemnou dohodou mezi pronajimatelem a nájemcem. (dle § 710 OZ) b) Není pravda, že nájem a podnájem bytových prostor je upraven zvláštním zákonem. (dle §720 OZ) 2. Určete, jaké závěry můžeme vyvodit z následujícího (pravdivého ) výroku: „Každé sdružení, které je vymazáno z registrace, zaniká.“ (dle §20j odst. 2 Oz) a) z kontradikce (Není pravda, že některá sdružení,…). b) z podřazenosti (Je pravda, že některá sdružení, která…) c) z kontrárnosti (Není pravda, že každé sdružení které…) Literatura: V. Knapp, A. Gerloch: Logika v právním myšlení. 3. aktualizované vydání. Eurolex Bohemia. Praha: 2000, s. 72 an. V. Knapp, A. Gerloch. Příručka ke studiu právní logiky. 1. vydání. Univerzita Karlova. Praha: 1988, s. 21-23.