matematikk.net

Tar faget elementær diskret matematikk på ntnu, men er mye jeg ikk forstår. Kan folket her mye om emnet? Logikk som p -> q er logisk ekvivalent med "ikke p" ELLER q osv?

Blir nødt til å fyre opp noen topics med spørsmål.

Det er nok mange her som behersker det som gjennomgåes i diskret matematikk. Har selv tatt et kurs i det på UiO.

Logikk er byggesteinene til matematisk resonnering; altså bevisføring.
Det brukes også veldig mye i programmering.
Veldig kjekt å kunne!

Logikk som p -> q er logisk ekvivalent med "ikke p" ELLER q osv?

Om du tegner opp sannhetstabeller for begge disse uttrykkene, vil du se at tabellene er identiske, og vi konkluderer med at uttrykkene også er det.