Logik
Logik er læren om de grundlæggende principper og regler for korrekte slutninger. Som videnskab blev logik grundlagt i oldtiden, se aristotelisk logik. I nutiden kan den indholdsmæssigt placeres i grænseområdet mellem filosofi og matematik; den har mange praktiske anvendelser, specielt i moderne datalogi.
Hele artiklen
Indeholder 1 kategori:
B
C
D
E
F
I
K
- kalkule
- kategorematisk udtryk
- kategorisk udsagn
- klasse (logisk begreb)
- kombinatorisk logik
- komplethed
- konjunktion (logisk begreb)
- konklusion
- konnektiver
- konsekvens (logisk begreb)
- konsistens
- konstruktivistisk logik
- kontradiktion
- kontraposition
- kontrær
- konversion (logisk begreb)
- kvantifikation
- kvantitet (logisk begreb)
- kvantor
