Implication Logic

Mnogi matematički kolegiji u uvodu navode osnove matematičke logike. Između ostalog, navode se tablice istinitosti za veznike negacije, konjunkcije, disjunkcije, implikacije i ekvivalencije. Tablice veznika implikacije i ekvivalencije teže je povezati sa svakodnevnim razmišljanjima. U ovom članku dani su primjeri zadataka čijim rješavanjem možemo provježbati i lakše shvatiti veznike implikacije i ekvivalencije.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