Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 910045

Logika implikacije


Lisek, Leo; Rudec, Tomislav
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:

Avatar Url Tomislav Rudec (autor)

Citiraj ovu publikaciju

Lisek, Leo; Rudec, Tomislav
Logika implikacije // Osječki matematički list, 16 (2016) (2016), 1; 83-90 (domaća recenzija, članak, stručni)
Lisek, L. & Rudec, T. (2016) Logika implikacije. Osječki matematički list, 16 (2016) (1), 83-90.
@article{article, year = {2016}, pages = {83-90}, keywords = {mathematical logic, truth table, implication, biconditional, equivalence}, journal = {Osje\v{c}ki matemati\v{c}ki list}, volume = {16 (2016)}, number = {1}, issn = {1845-4607}, title = {Implication logic}, keyword = {mathematical logic, truth table, implication, biconditional, equivalence} }