apr 152014
 
Logika a množiny

Pojmy Vý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; množina, prvky množiny, [čítať viac…]