Youtor
03 Semantikk for utsagnslogikk
>> YOUR LINK HERE: ___ http://youtube.com/watch?v=RJSQkiEK0fc
Innholdsoversikt: • == Kapittel 3 - Semantikk for utsagnslogikk == • 2:58 Sannhetsverdier • 4:50 Tolkning av utsagnslogiske formler (Definisjoner) • 15:42 Valuasjoner og sannhetsverditabeller • 18:42 Valuasjoner • 23:57 Sannhetsverditabeller • 29:43 Egenskaper ved implikasjon • 41:38 Logisk ekvivalens (Definisjon og eksempler) • 51:34 Skrivemåter • 1:02:48 Noen ekvivalente formler • 1:15:11 Et studium i hva som er ekvivalent • 1:16:47 Noen viktige ekvivalenser • Forelesningen ble holdt og tatt opp på direkten 28. august 2015 ved Institutt for informatikk, Universitetet i Oslo. • Foreleser: Roger Antonsen. • Kursansvarlige: Roger Antonsen og Andreas Nakkerud. • Redigering: Håkon Salomonsen Møller.
#############################
