Pregled bibliografske jedinice broj: 910045
Logika implikacije
Logika implikacije // Osječki matematički list, 16 (2016) (2016), 1; 83-90 (domaća recenzija, članak, stručni)
CROSBI ID: 910045 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Logika implikacije
(Implication logic)
Autori
Lisek, Leo ; Rudec, Tomislav
Izvornik
Osječki matematički list (1845-4607) 16 (2016)
(2016), 1;
83-90
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, stručni
Ključne riječi
matematička logika ; tablica istinitosti ; implikacija ; ekvivalencija
(mathematical logic, truth table, implication, biconditional, equivalence)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek
Profili:
Tomislav Rudec
(autor)