Viser 1-10 af 10
(af lat. disjunctio 'adskillelse', af disjungere 'adskille'), betegnelse for det logiske konnektiv 'eller', formelt ∨, og for udsagn, hvor 'eller' er hovedko... Læs mere
(lat. alternatio af alternare 'skifte'), den logiske konstant 'eller'; betyder i logikken det samme som disjunktion. ... Læs mere
(af tri- og gr. lemma 'antagelse, indhold'), i den traditionelle logik den slutningsform, hvori der i den ene præmis indgår en treleddet disjunktion. Inden f... Læs mere
benyttes i udsagnslogikken til at danne disjunktionen 'enten p eller q'; se disjunktion. ... Læs mere
(2. ord af lat. constans, afledt af constare 'stå fast, forblive uforandret'), de ord, der bliver tilbage, når man fra en sætning fjerner alle genstands- og... Læs mere
En vigtig opgave for logikken er at identificere de småord og sætningsformer, som er bestemmende for en slutnings logiske form. Ligesom 'ikke' og 'hvis..., s... Læs mere
(efter George Boole), en mængde M med to operationer + og ∙, der har algebraiske egenskaber svarende til operationerne foreningsmængde, ∪, og fællesm... Læs mere
oprindelig betegnelse for boolesk algebra, hvori sætninger fremstilles som ligninger. Idéen er at lade variable, x, y, z, ..., betegne sætninger, og de alge... Læs mere
(af gr. logike, af logikos 'angående talen, fornuften', afledt af logos), læren om de grundlæggende principper og regler for korrekte slutninger. Som vide... Læs mere
27.6.1806-18.3.1871, britisk matematiker og logiker; han studerede i Cambridge og var fra 1828 professor i London. Han reformerede den aristoteliske logik og l... Læs mere
Viser 1-10 af 10
| Find Lydbøger hos Storytel | Find bøger på bogpriser.dk | Studiebøger på pensum.dk | E-bøger hos g.dk | ||||
© Gyldendal 2009-2013 - Powered by MindTouch Deki