Hugo Kronecker

Satslogiska härledningsregler
	Modus ponens; Modus tollens; Och-eliminering; Och-introducering; Eller-eliminering; Eller-introducering; Dilemma;

Logisk operator, Logisk grind
	negation, NOT; konjunktion, AND, NAND; disjunktion, OR, XOR, NOR; implikation; ekvivalens, XNOR; konnektiv; sanningsfunktion; sanningsvärdetabell; de Morgans lagar;

Version från den 30 juli 2008 kl. 16.04 av Åke Persson (Diskussion)

(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)

Texten från svenska Wikipedia