- tautologi: Jørgen Villadsen (DTU) godkendte et ændringsforslag fra Adam Schwartz (KU)
- inventio medii: ændret af Rebecca Bailey (lex.dk)
- Evert W. Beth: ændret af Jørgen Villadsen (DTU)
- Evert W. Beth: ændret af Jørgen Villadsen (DTU)
- modelteori: ændret af Rebecca Bailey (lex.dk)
- modelteori: ændret af Rebecca Bailey (lex.dk)
- modelteori: ændret af Rebecca Bailey (lex.dk)
- modelteori: ændret af Rebecca Bailey (lex.dk)
- modelteori: ændret af Rebecca Bailey (lex.dk)
- Evert W. Beth: ændret af Rebecca Bailey (lex.dk)
- Evert W. Beth: ændret af Rebecca Bailey (lex.dk)
- Löwenheim-Skolems sætning: ændret af Rebecca Bailey (lex.dk)
- Löwenheim-Skolems sætning: ændret af Rebecca Bailey (lex.dk)
- tautologi: ændret af Anne Albrecht (lex.dk)
- Skolem-Löwenheims sætning: ændret af Rebecca Bailey (lex.dk)
- Russells paradoks: ændret af Rebecca Bailey (lex.dk)
- Principia Mathematica: ændret af Rebecca Bailey (lex.dk)
- Gödels sætning: ændret af Rebecca Bailey (lex.dk)
- ordinaltal: ændret af Jørgen Villadsen (DTU)
- mængde: ændret af Jørgen Villadsen (DTU)
- Zermelo-Fraenkels aksiomer: ændret af Jørgen Villadsen (DTU)
- udvalgsaksiomet: ændret af Jørgen Villadsen (DTU)
- Peanos aksiomsystem: ændret af Jørgen Villadsen (DTU)
- mængdelære: ændret af Jørgen Villadsen (DTU)
- modelteori: ændret af Jørgen Villadsen (DTU)
- kontinuum: ændret af Jørgen Villadsen (DTU)
- kontinuert ordning: ændret af Jørgen Villadsen (DTU)
- klasseinddeling: ændret af Jørgen Villadsen (DTU)
- kardinaltal: ændret af Jørgen Villadsen (DTU)
- kontinuumshypotesen: ændret af Jørgen Villadsen (DTU)
- førsteordensudsagn: ændret af Jørgen Villadsen (DTU)
- kvantor: ændret af Jørgen Villadsen (DTU)
- alkvantor: ændret af Jørgen Villadsen (DTU)
- førsteordensudsagn: ændret af Rebecca Bailey (lex.dk)
- kvantor: ændret af Rebecca Bailey (lex.dk)
- kvantor: ændret af Rebecca Bailey (lex.dk)
- kvantorer: ændret af Rebecca Bailey (lex.dk)
- kvantorer: ændret af Rebecca Bailey (lex.dk)
- kvantorer: ændret af Rebecca Bailey (lex.dk)
- alkvantor: ændret af Rebecca Bailey (lex.dk)
- mængde: ændret af Jørgen Villadsen (DTU)
- Zermelo-Fraenkels aksiomer: ændret af Rebecca Bailey (lex.dk)
- udvalgsaksiomet: ændret af Rebecca Bailey (lex.dk)
- Peanos aksiomsystem: ændret af Rebecca Bailey (lex.dk)
- ordinaltal: ændret af Rebecca Bailey (lex.dk)
- mængdelære: ændret af Rebecca Bailey (lex.dk)
- mængde: ændret af Rebecca Bailey (lex.dk)
- modelteori: ændret af Rebecca Bailey (lex.dk)
- kvantorer: ændret af Rebecca Bailey (lex.dk)
- kontinuumshypotesen: ændret af Rebecca Bailey (lex.dk)
- kontinuum: ændret af Rebecca Bailey (lex.dk)
- kontinuert ordning: ændret af Rebecca Bailey (lex.dk)
- klasseinddeling: ændret af Rebecca Bailey (lex.dk)
- kardinaltal: ændret af Rebecca Bailey (lex.dk)
- førsteordensudsagn: ændret af Rebecca Bailey (lex.dk)
- alkvantor: ændret af Rebecca Bailey (lex.dk)
- Willard Van Orman Quine: ændret af Rebecca Bailey (lex.dk)
- Willard Van Orman Quine: ændret af Rebecca Bailey (lex.dk)
- Jan Łukasiewicz: ændret af Rebecca Bailey (lex.dk)
- Alfred Tarski: ændret af Rebecca Bailey (lex.dk)
- Alfred Tarski: ændret af Rebecca Bailey (lex.dk)
- World Logic Day: ændret af Rebecca Bailey (lex.dk)
- World Logic Day: ændret af Rebecca Bailey (lex.dk)
- World Logic Day: ændret af Rebecca Bailey (lex.dk)
- World Logic Day: ændret af Jørgen Villadsen (DTU)
- Kurt Gödel: ændret af Jørgen Villadsen (DTU)
- World Logic Day: ændret af Rebecca Bailey (lex.dk)
- World Logic Day: ændret af Rebecca Bailey (lex.dk)
- World Logic Day: ændret af Rebecca Bailey (lex.dk)
- Kurt Gödel: billede publiceret af Rebecca Bailey (lex.dk)
- Kurt Gödel: ændret af Rebecca Bailey (lex.dk)
- Kurt Gödel: ændret af Rebecca Bailey (lex.dk)
- Alfred Tarski: ændret af Rebecca Bailey (lex.dk)
- Alfred Tarski: billede publiceret af Rebecca Bailey (lex.dk)
- Alfred Tarski: ændret af Rebecca Bailey (lex.dk)
- world logic day: publiceret af Jørgen Villadsen (DTU)
- Alfred Tarski: ændret af Jørgen Villadsen (DTU)
- Alfred Tarski: ændret af Jørgen Villadsen (DTU)
- Kurt Gödel: ændret af Jørgen Villadsen (DTU)
- paradoks: ændret af Rebecca Bailey (lex.dk)
- tautologi: ændret af Rebecca Bailey (lex.dk)
- tautologi: ændret af Rebecca Bailey (lex.dk)
- stråmandsargument: ændret af Rebecca Bailey (lex.dk)
- stråmandsargument: ændret af Rebecca Bailey (lex.dk)
- heuristik: ændret af Jørgen Villadsen (DTU)
- typeteori: ændret af Rebecca Bailey (lex.dk)
- logisk konstant: ændret af Rebecca Bailey (lex.dk)
- logisk konstant: ændret af Rebecca Bailey (lex.dk)
- heuristik: ændret af Rebecca Bailey (lex.dk)
- heuristik: ændret af Rebecca Bailey (lex.dk)
- argument - logisk begreb: ændret af Rebecca Bailey (lex.dk)
- atomart udsagn: ændret af Rebecca Bailey (lex.dk)
- argument - logisk begreb: ændret af Rebecca Bailey (lex.dk)
- argument - logisk begreb: ændret af Rebecca Bailey (lex.dk)
- argument - logisk begreb: ændret af Rebecca Bailey (lex.dk)
- Russells paradoks: ændret af Jørgen Villadsen (DTU)
- ækvivalens: ændret af Jørgen Villadsen (DTU)
- ækvivalens: ændret af Jørgen Villadsen (DTU)
- postulat: ændret af Jørgen Villadsen (DTU)
- boolesk algebra: ændret af Jørgen Villadsen (DTU)
- Gerhard Gentzen: ændret af Jørgen Villadsen (DTU)
- Jacques Herbrand: ændret af Jørgen Villadsen (DTU)
- Evert W. Beth: ændret af Jørgen Villadsen (DTU)
- Paul Lorenzen: ændret af Jørgen Villadsen (DTU)
- fuzzylogik: ændret af Jørgen Villadsen (DTU)
- syllogisme: ændret af Jørgen Villadsen (DTU)
- heuristik: ændret af Jørgen Villadsen (DTU)
- fuzzy logic: ændret af Jørgen Villadsen (DTU)
- stråmandsargument: ændret af Jørgen Villadsen (DTU)
- epistemisk logik: ændret af Jørgen Villadsen (DTU)
- reductio ad absurdum: ændret af Jørgen Villadsen (DTU)
- Willard Van Orman Quine: ændret af Jørgen Villadsen (DTU)
- konsekvens - logisk begreb: ændret af Jørgen Villadsen (DTU)
- antecedent: ændret af Jørgen Villadsen (DTU)
- alternation: ændret af Jørgen Villadsen (DTU)
- alternation: ændret af Jørgen Villadsen (DTU)
- antecedent: ændret af Jørgen Villadsen (DTU)
- formalisme - anskuelsestilgang: ændret af Jørgen Villadsen (DTU)
- cirkelbevis: ændret af Jørgen Villadsen (DTU)
- egenskab: ændret af Jørgen Villadsen (DTU)
- egenskab: ændret af Jørgen Villadsen (DTU)
- eksistenskvantor: ændret af Jørgen Villadsen (DTU)
- divalent logik: ændret af Jørgen Villadsen (DTU)
- dictum de omni et nullo: ændret af Jørgen Villadsen (DTU)
- assertorisk udsagn: ændret af Jørgen Villadsen (DTU)
- apodiktisk udsagn: ændret af Jørgen Villadsen (DTU)
- non sequitur: ændret af Jørgen Villadsen (DTU)
- dilemma: ændret af Jørgen Villadsen (DTU)
- apagogisk bevis: ændret af Jørgen Villadsen (DTU)
- E-dom: ændret af Jørgen Villadsen (DTU)
- A-dom: ændret af Jørgen Villadsen (DTU)
- A-dom: ændret af Jørgen Villadsen (DTU)
- I-dom: ændret af Jørgen Villadsen (DTU)
- logisk algebra: ændret af Jørgen Villadsen (DTU)
- Ernst Schröder: ændret af Jørgen Villadsen (DTU)
- konsekvens - logisk begreb: ændret af Jørgen Villadsen (DTU)
- entailment: ændret af Jørgen Villadsen (DTU)
- paradoks: ændret af Jørgen Villadsen (DTU)
- glidebaneargument: ændret af Jørgen Villadsen (DTU)
- modsigelsesprincippet: ændret af Jørgen Villadsen (DTU)
- relationslogik: ændret af Jørgen Villadsen (DTU)
- funktionslogik: ændret af Jørgen Villadsen (DTU)
- copula: ændret af Jørgen Villadsen (DTU)
- subkontrær: ændret af Jørgen Villadsen (DTU)
- kombinatorisk logik: ændret af Jørgen Villadsen (DTU)
- partikulært udsagn: ændret af Jørgen Villadsen (DTU)
- mellembegreb: ændret af Jørgen Villadsen (DTU)
- undersætning: ændret af Jørgen Villadsen (DTU)
- consequentia: ændret af Jørgen Villadsen (DTU)
- dialogisk logik: ændret af Jørgen Villadsen (DTU)
- non causa pro causa: ændret af Jørgen Villadsen (DTU)
- non causa pro causa: ændret af Jørgen Villadsen (DTU)
- assertionstegn: ændret af Jørgen Villadsen (DTU)
- underbegreb: ændret af Jørgen Villadsen (DTU)
- kvantitet - logisk begreb: ændret af Jørgen Villadsen (DTU)
- sandhedsfunktion: ændret af Jørgen Villadsen (DTU)
- episyllogisme: ændret af Jørgen Villadsen (DTU)
- episyllogisme: ændret af Jørgen Villadsen (DTU)
- dom - udsagn: ændret af Jørgen Villadsen (DTU)
- per accidens: ændret af Jørgen Villadsen (DTU)
- univers - logisk univers: ændret af Jørgen Villadsen (DTU)
- lemma - litteraturvidenskabeligt begreb: ændret af Jørgen Villadsen (DTU)
- konversion - logisk begreb: ændret af Jørgen Villadsen (DTU)
- inventio medii: ændret af Jørgen Villadsen (DTU)
- klasse - logisk begreb: ændret af Jørgen Villadsen (DTU)
- deskriptionsteori: ændret af Jørgen Villadsen (DTU)
- figur - logisk form: ændret af Jørgen Villadsen (DTU)
- Gottlob Frege: ændret af Jørgen Villadsen (DTU)
- deduktionsteorem: ændret af Jørgen Villadsen (DTU)
- epagoge: ændret af Jørgen Villadsen (DTU)
- uafhængighed - matematisk eller logisk begreb: ændret af Jørgen Villadsen (DTU)
- obversion: ændret af Jørgen Villadsen (DTU)
- temporallogik: ændret af Jørgen Villadsen (DTU)
- mathesis universalis: ændret af Jørgen Villadsen (DTU)
- kategorematisk udtryk: ændret af Jørgen Villadsen (DTU)
- synkategorematisk: ændret af Jørgen Villadsen (DTU)
- subalternation: ændret af Jørgen Villadsen (DTU)
- funktor: ændret af Jørgen Villadsen (DTU)
- diallel: ændret af Jørgen Villadsen (DTU)
- domslogik: ændret af Jørgen Villadsen (DTU)
- bevisteori: ændret af Jørgen Villadsen (DTU)
- åbent udsagn: ændret af Jørgen Villadsen (DTU)
- kategorisk udsagn: ændret af Jørgen Villadsen (DTU)
- eulerske cirkler: ændret af Jørgen Villadsen (DTU)
- eulerske cirkler: ændret af Jørgen Villadsen (DTU)
- afgørbarhed: ændret af Jørgen Villadsen (DTU)
- antilogisme: ændret af Jørgen Villadsen (DTU)
- eksplicit definition: ændret af Jørgen Villadsen (DTU)
- logistik - logisk begreb: ændret af Jørgen Villadsen (DTU)
- følgerelation: ændret af Jørgen Villadsen (DTU)
- kontraposition: ændret af Jørgen Villadsen (DTU)
- fuldstændighed: ændret af Jørgen Villadsen (DTU)
- komplethed: ændret af Jørgen Villadsen (DTU)
- konklusion: ændret af Jørgen Villadsen (DTU)
- supposition: ændret af Jørgen Villadsen (DTU)
- logisk algebra: ændret af Jørgen Villadsen (DTU)
- modus - logisk begreb: ændret af Jørgen Villadsen (DTU)
- deduktivt system: ændret af Jørgen Villadsen (DTU)
- eksistensbevis: ændret af Jørgen Villadsen (DTU)
- trilemma: ændret af Jørgen Villadsen (DTU)