wisk: H1 logica

propositie

een propositie of logische uitspraak is een uitspraak waarvan je met zekerheid kunt zeggen dat ze waar of vals is

negatie

de negatie van een propositie p is een logische uitspraak die enkel waar is als de propositie vals is

conjunctie

de conjunctie van twee proposities p en q is een logische uitspraak die enkel waar is als beide proposities waar zijn

disjunctie

de disjunctie van twee proposities p en q is een logische uitspraak die enkel waar is als minstens één van de proposities waar is

logisch gelijkwaardige proposities

logisch gelijkwaardige proposities zijn logische uitspraken die dezelfde waarheidstabel hebben

tautologie

een tautologie is een samengestelde logische uitspraak die altijd waar is, onafhankelijk van de waarheidswaarde van de deelproposities

contradictie

een contradictie is een samengestelde logische uitspraak die altijd vals is, onafhankelijk van de waarheidswaarde van de deelproposities

logische poort

een logische poort is een elektronische schakeling met één of meer ingangen A, B, … en juist één uitgang Z.

implicatie

de implicatie van twee 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

eigenschap ware implicatie

in een rechthoek zijn de diagonalen even lang

als een vierhoek een rechte is, dan zijn de diagonalen even lang

een vierhoek is een rechte => de diagonalen zijn even lang

equivalentie

de equivalentie van twee proposities p en q is een logische uitspraak die enkel waar is als beide proposities dezelfde waarheidstabel hebben