Talentovaný lidový bavič a amaterský brusič Miloslav Rozner, t. č. poslanec za Pitomiovu SPD, má být, dle mínění mladých sociálních demokratů, trestně stíhán za výrok, že v Letech byl (nebo, chcete-li, nebyl) neexistující pseudokoncentrák
.
To mi připomíná dávného spolužáka z mathfysu, který na studijním oddělení do formuláře vyplnil, že má 0 dětí, a pak vypsal údaje o třech z nich, s vysvětlením, že pro prvky prázdné množiny je pravdivý každý výrok.
Pokud Rozner pojme svou obhajobu v této linii, nemá, soudíme, čeho se obávat.
Důležité upozornění!
Policie České republiky se zajímá o IP-adresy osob, které komentují tento blog. Ve vlastním zájmu zde proto nic nepopírejte, nezpochybňujte, neschvalujte, neospravedlňujte, nikoho a nic nehanobte, nepodporujte a nepropagujte, a pokud se přesto rozhodnete komentář přidat, pak se, prosím, ničemu nedivte.
Rozner
- Autor: Tomáš Pecina
- Kategorie: Jiné případy
- Počet zobrazení: 3458
Komentáře
Ostatně, není dodnes úspěšně stíhán Konvička za masokostní moučku?
Tedy ještě jednou pomaleji: Rozner neřekl, že je to neexistující tábor. On řekl, že tam byl neexistující pseudotábor. Tedy tábor tam docela klidně mohl být, to on nepopřel.
forall d in D: ( forall e in D: ( d = e vee V(d) > V(e) ) ) implies ( N(d) = 'Isabella Kastilská' )
kde vaše tvrzení platí, ale když to formalizuji třeba tak, že nadefinuji funkci
NejstaršíDítě(rodič) = { d ,mid, forall e in D: ( d = e vee V(d) > V(e) }
(která pro bezdětné dítě vrací prázdnou množinu), tak mohu dotaz formulovat jako
NejstaršíDítě(bezdětný) = { 'Isabella Kastilská' },
což ovšem pravda není.
RSS kanál komentářů k tomuto článku