H1 Flashcards
Een propostitie
of logische uitspraak is een uitspraak waarvan je met zekerheid kunt zeggen dat ze ofwel waar ofwel vals is
de negatie
de negatie van een propositie p is een logische uitspraak die enkel waar is als de propositie vals is
een conjunctie
van 2 proposities p en q is logisch als beide proposities waar zijn
een disjunctie
een disjunctie van 2 proposities p en q is een logische uitspraak die enkel waar is als minstens 1 van de proposities waar is
logisch gelijkwaardige proposities
zijn logische uitspraken die dezelfde waarheidstabel hebben
een tautologie
is een samengestelde logische uitspraak die altijd waar is, onafhankelijk van de waarheidswaarde van de deelproposties
een contradictie
is een samengestelde logische uitspraak die altijd vals is, onafhankelijk van de waarheidswaarde van de deelproposities
De implicatie
de implicatie van 2 proposities p en q is een logische uitspraak die enkel vals is als de eerste propositie p waar is en de tweede propositie q vals is
de contrapositie
de implicatie niet q => niet p is de contrapositie van p => q
voldoende voorwaarde
als p waar is dan zal q automatisch waar zijn
nodige voorwaarde
als p vals is, dan zal q automatisch vals zijn
de equivalentie
de equivalentie van 2 proposities p en q is een logische uitspraak die enkel waar is als de beide proposities dezelfde waarheidstabel hebben
