Please enable JavaScript.
Coggle requires JavaScript to display documents.
Logica - Coggle Diagram
Logica
Logische operaties
De negatie
¬P is waar enkel en alleen als P vals is
De conjunctie
P ∧ Q is waar enkel en alleen als P waar is en Q waar is
De disjunctie
P ∨ Q is vals enkel en alleen als P vals is en Q vals is
De implicatie
P ⇒ Q is vals enkel en alleen als P waar is en Q vals is
De equivalentie
P ⇔ Q is waar enkel en alleen als P en Q beiden waar, of beiden vals zijn
Elke uitspraak is ofwel waar ofwel onwaar
Niet elke zin of uitdrukking vormt een uitspraak
Een uitspraak noteert men doorgaans met een hoofletter
Elke uitspraak (in de propositionele logica) is samengesteld uit ‘kortere’ uitspraken
Twee uitspraken noemen we logisch equivalent als ze dezelfde waarheidstabel hebben
