Professional paper
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
Abstract
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.
Keywords
mathematical logic; truth table; implication; biconditional; equivalence
Hrčak ID:
165821
URI
Publication date:
1.8.2016.
Visits: 6.191 *