6 vzťahy: Implikácia, Prírodný zákon, Predikátová logika, Tradičná logika, Všeobecný kvantifikátor, Výroková funkcia.
Implikácia
Implikácia (z) je logická operácia tvoriaca zložený výrok z dvoch výrokov pomocou logickej spojky, ktorá zodpovedá spojke ak - tak.
Nový!!: Hypotetický výrok a Implikácia · Pozrieť viac »
Prírodný zákon
Prírodný zákon je objektívna, nevyhnutná, všeobecná a tým podstatná súvislosť medzi vecami, stavmi vecí, procesmi atď.
Nový!!: Hypotetický výrok a Prírodný zákon · Pozrieť viac »
Predikátová logika
Predikátová logika.
Nový!!: Hypotetický výrok a Predikátová logika · Pozrieť viac »
Tradičná logika
Tradičná logika je formálna logika, ktorá skúma všeobecné ľudské zákony správneho budovania a spájania myšlienok pri uvažovaní (zákon totožnosti, zákon protirečenia, zákon vylúčenia tretieho, zákon dostatočného dôvodu) a ich aplikáciu pri myšlienkových postupoch, všeobecne ľudské formy myslenia (súd a pojem) a formy spájania myšlienok pri usudzovaní (indukcia, tradukcia, analógia, dedukcia), pravidlá dokazovania a vyvracania.
Nový!!: Hypotetický výrok a Tradičná logika · Pozrieť viac »
Všeobecný kvantifikátor
Všeobecný kvantifikátor (iné názvy: všeobecný kvantor, veľký kvantifikátor, generalizátor) je kvantifikátor, ktorým sa nahradzuje spojenie „pre všetky“.
Nový!!: Hypotetický výrok a Všeobecný kvantifikátor · Pozrieť viac »
Výroková funkcia
Výroková funkcia alebo výrokový vzorec je výroková forma, vetná funkcia – logická forma, ktorá má jazykovo tvar oznamovacej vety, v ktorej je však obsiahnutá aspoň jedna voľná premenná, takže de facto nič nevypovedá.
Nový!!: Hypotetický výrok a Výroková funkcia · Pozrieť viac »