Satslogik Flashcards
(27 cards)
Vem formulerade ‘läran om slutledningen’?
Aristoteles (384 - 322 f.Kr.)
Vad är en syllogism?
En form av logisk härledning som består av två premisser och en slutsats.
Ge ett exempel på syllogism.
- Alla människor är dödliga
- Sokrates är en människa
- Sokrates är dödlig
Vad är målet med logik enligt Aristoteles?
Att synliggöra resonemang och undvika tankefel
Vad garanteras om premisserna är sanna och slutledningen är logiskt giltig?
Slutsatsen blir garanterat sann
Vad är en premiss?
En grundläggande sanning som används för att härleda en slutsats
Vad är en hypotes i vetenskaplig logik?
En premiss som testas mot verkligheten
Vad innebär ‘Reductio Ad Absurdum’?
man antar motsatsen till det man vill bevisa och visar att det leder till en motsägelse eller en absurd slutsats.
Vad betyder ‘sann’ i logik?
Överensstämmande med verkligheten
Är giltighet detsamma som sanningshalt?
Nej, giltighet handlar om strukturen av argumentet, inte dess sanning
Vad är dolda premisser?
Antaganden som inte uttrycks men som behövs för att slutsatsen ska vara giltig
Vad kallas det logiska operatorn för ‘OCH’?
Konjunktion
Vad kallas det logiska operatorn för ‘ELLER’?
Disjunktion
Vad betyder negation i logik?
Att förneka ett påstående. Exempel:
Om
P är “Det regnar”, så är
¬P “Det regnar inte”.
Vad är implikation i logik?
En relation mellan två satser som indikerar att om den första är sann, så är den andra också sann.
P⇒Q är falskt endast om P är sant och Q är falskt.
I alla andra fall (dvs. om P är falskt, oavsett om Q är sant eller falskt), är implikationen sann.
Vad är en tautologi?
En sats som är sann under varje värdering.
“Det regnar eller det regnar inte.”
Detta är en tautologi eftersom oavsett väderförhållanden kommer påståendet alltid att vara sant. Om det regnar, är påståendet sant; om det inte regnar, är det fortfarande sant.
Vad är en kontradiktion?
En sats som är falsk under varje värdering. “Det regnar och det regnar inte samtidigt.”
Detta är en kontradiktion eftersom det inte är möjligt för det att regna och inte regna samtidigt. Det finns ingen situation där detta påstående kan vara sant.
Vad är begränsningen med satslogik?
Kan endast användas för en specifik typ av satser. saknar förmågan att uttrycka mer detaljerade eller nyanserade samband.
Vad är skillnaden mellan satslogik och predikatlogik?
Predikatlogik kan fånga mer komplexa resonemang. tillåter en att uttrycka påståenden om objekt, deras egenskaper och relationer mellan dem.
Fyll i blank: En sats är ______ om och endast om den är falsk under varje värdering.
satslogisk falsk (kontradiktion)
Fyll i blank: En sats är ______ om och endast om den är sann under varje värdering.
satslogisk sann (tautologisk)
Vad är ett sanningsvärde?
Sann eller falsk
Vilka symboler används för satsvariabler?
- P
- Q
- R
- p
- q
- r
Vad används sanningsvärdetabeller för?
För att få en överblick över sanningsvärdet för komplexa satser
