Lees hier de samenvatting en de meest belangrijke oefenvragen van Logica, verzamelingen en relaties Cursusboek 1 | 9789492231321 | J.S. Lodder

• 1 Propositielogica

  Dit is een preview. Er zijn 1 andere flashcards beschikbaar voor hoofdstuk 1
  Laat hier meer flashcards zien

• Wat bepaalt of een redenering correct is?

  Vooral de woordjes "of" en "niet" en de plaats waar ze voorkomen bepalen of een redenering correct is. Van de rest mogen we abstraheren (weglaten).

• 1.1 Wat is propositielogica?

  Dit is een preview. Er zijn 6 andere flashcards beschikbaar voor hoofdstuk 1.1
  Laat hier meer flashcards zien

• Als de enige eis aan proposities is dat ze in iedere omstandigheid een waarheidswaarde (waar of onwaar) moeten hebben ,dan lijkt dit zo algemeen, dat we ons kunnen afvragen wat géén proposities zijn.Welke andere zinstypen drukken in de regel geen propositie uit?

  Zinstypen zoals vraagzinnen en zinnen in de gebiedende wijs drukken in de regel géén propositie uit.

• Hoe wordt met een mooi woord de propositielogica wel genoemd?(Vanwege het kenmerk dat de waarheidswaarde van een uitspraak is af te leiden uit de waarheidswaarden van haar delen).

  Propositielogica wordt daarom wel waarheidsfunctioneel genoemd.

• Hoe kunnen we de propositielogica in het kort zien?

  We kunnen de propositielogica zien als een spel met waarheidswaarden. De waarheden worden volgens strakke regels toegekend aan formules die op een precies voorgeschreven manier zijn opgebouwd.

• 1.2 De taal van de propositielogica

  Dit is een preview. Er zijn 4 andere flashcards beschikbaar voor hoofdstuk 1.2
  Laat hier meer flashcards zien

• Hoe heten de speciale symbolen van de propositielogica?

  De speciale symbolen van de propositielogica ( ¬, ∧, ∨, →, ↔) worden connectieven genoemd.

• Wat zijn de 5 logische connectieven, uitspraken en namen in de propositielogica?

  Connectieven in de propositielogica:
  Connectief        Uitspraak       Naam
  ¬                         niet                  negatieteken
  ∧                         en                    conjunctieteken
  ∨                         of                     disjunctieteken
  →                       als ..., dan       implicatieteken
  ↔                       desda              equivalentieteken

• Wat is het symbool voor negatieken en hoe luidt de uitdrukking?

  Het symbool ¬ (uitspraak "en") noemen we het negatieteken.
  De uitdrukking ¬p noemen we de negatie van p.
  (In tegenstelling tot niet in de schrijftaal wordt deze er dus voor gezet. In schrijftaal zou het zijn: "de afstandsbediening werkt niet goed").

• Wat is het symbool voor disjuncten en hoe luidt de uitdrukking?

  Het symbool ∨ (uitspraak "of") wordt het disjunctieteken genoemd.
  Door ∨ worden twee proposities met elkaar verbonden: het resultaat (zoals p ∨ ¬q) heet een disjunctie en de proposities die door ∨ verbonden worden (zoals p of ¬q in p ∨ ¬q), heten disjuncten.
  Bijvoorbeeld: "De afstandsbediening is kapot of de tv werkt niet goed".

• Wat is het symbool voor conjuncten en hoe luidt de uitdrukking?

  Het symbool ∧ (uitspraak "en") wordt het conjunctieteken genoemd.
  Door ∧ worden twee proposities verbonden: het resultaat (zoals p ∧ q) heet een conjunctie en de proporties die door ∧ verbonden worden heten conjuncten.
  Bijvoorbeeld: "Gabriela tennist en Judith schaakt".

• Wat is het symbool voor implicaties en hoe luidt de uitdrukking?

  Het symbool → (uitspraak "als ..., dan") wordt het implicatieteken genoemd.
  Door →  worden 2 proposities verbonden: het resultaat (zoals p → q heet een implicatie.
  De betekenis "als ..., dan".
  Bijvoorbeeld: "Als er stroom loopt (dan) wordt de draad warm".