Logika a množiny

15. 04. 2014 | Rudolf Zrebný

PojmyVýrok, axióma, definícia, úsudok, hypotéza, pravdivostná hodnota,logické spojky, negácia, konjunkcia, disjunkcia, implikácia, ekvivalencia, výroková formula, tabuľka pravdivostných hodnôt, výroková forma, kvantifikátor (existenčný, všeobecný, aspoň, najviac, práve), negácie kvantifikovaných výrokov, matematická veta, existenčná veta, všeobecná veta, obrátená veta, obmenená veta, negácia vety, priamy dôkaz, nepriamy dôkaz, dôkaz sporom, dôkaz matematickou indukciou;... čítať viac