next up previous contents
Next: Induktsioon (inductioninductive derivation) Up: No Title Previous: Horni lause (Horn clause)

Implikatsioon (implication)

- binaarne loogiline operatsioon: lausete A ja B implikatsioon tex2html_wrap_inline431 ehk tex2html_wrap_inline433 loetakse vääraks parajasti siis, kui lause A tõene ja lause B väär.


Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996