implikácia

Text hesla

implikácia [lat.] — log. zložený výrok (alebo výroková forma, v informatike nazývaná aj logická funkcia) utvorený z antecedentu a konzekventu pomocou výrokovej spojky – implikátora, ktorá zodpovedá korelovanej dvojici ak – tak z prirodzeného jazyka; príkladom implikácie v prirodzenom jazyku je súvetie s vedľajšou vetou podmienkovou: ak A, tak B. Pre výroky A a B platí pravdivostná tabuľka. Implikátor sa obvykle zapisuje znakom znak ⇒ alebo →. V logike sa okrem štandardnej, tzv. materiálnej implikácie (názov pochádza zo stredovekej terminológie supossitio materialis a nemá žiadnu obsahovú konotáciu) rozlišujú aj iné druhy implikácie (striktná, Diodorova).

Pravdivostná tabuľka implikácie
A B A → B
0 0 1
0 1 1
1 0 0
1 1 1
Text hesla

implikácia [lat.] — log. zložený výrok (alebo výroková forma, v informatike nazývaná aj logická funkcia) utvorený z antecedentu a konzekventu pomocou výrokovej spojky – implikátora, ktorá zodpovedá korelovanej dvojici ak – tak z prirodzeného jazyka; príkladom implikácie v prirodzenom jazyku je súvetie s vedľajšou vetou podmienkovou: ak A, tak B. Pre výroky A a B platí pravdivostná tabuľka. Implikátor sa obvykle zapisuje znakom znak ⇒ alebo →. V logike sa okrem štandardnej, tzv. materiálnej implikácie (názov pochádza zo stredovekej terminológie supossitio materialis a nemá žiadnu obsahovú konotáciu) rozlišujú aj iné druhy implikácie (striktná, Diodorova).

Pravdivostná tabuľka implikácie
A B A → B
0 0 1
0 1 1
1 0 0
1 1 1

Zverejnené v apríli 2010.

citácia

Implikácia [online]. Encyclopaedia Beliana, ISBN 978-80-89524-30-3. [cit. 2019-09-19]. Dostupné na internete: https://beliana.sav.sk/heslo/implikacia