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