Stručni rad
Implication Logic
Leo Lisek
; Fakultet elektotehnike, računarstva i informacijskih tehnologija u Osijeku, Sveučilište u Osijeku,Osijek
Tomislav Rudec
; Fakultet elektrotehnike, računarstva i informacijskih tehnologija u Osijeku, Sveučilište u Osijeku
Sažetak
Many mathematical courses in the introduction recall basics of mathematical logic. Among other things, the truth table for logical connectives negation, conjunction, disjunction, implication and biconditional (equivalence) are listed. Tables for implication and biconditional are more difficult to connect with everyday thinking. In order to thoroughly practice and understand implication and equivalence, some exercises are given in the article.
Ključne riječi
mathematical logic; truth table; implication; biconditional; equivalence
Hrčak ID:
165821
URI
Datum izdavanja:
1.8.2016.
Posjeta: 6.191 *