Logik: Slutledning 2 - med deduktion

Visar i två exempel hur man kan visa att en slutledning är korrekt med hjälp av deduktion. Deduktion betyder härledning och vi använder de kända ekvivalenserna och implikationerna för att ur förutsättningarna härleda slutsatsen. Deduktion utgår bara från den logiska strukturen i uttrycket och det är viktigt att det på varje rad i resonemanget bara finns ett uttryck följt av en motivering hur vi erhåller det ur förutsättningarna eller tidigare härledda slutsatser. Nedan finns tidstämplar samt länk till ritade bilder. Jämförelse mellan deduktion och metoden med sanningsvärdestabell: 0:00 Deduktion, exempel 1: 01:27 Deduktion, exempel 2: 06:11 Länk till ritade bilder: https://www.dropbox.com/sh/9vvi7yt730... Länk till spellistan DISKRET MATEMATIK:    / @danielcarlsson2