Resultat af søgningen: logik

Viser resultaterne 1 til 11 ud af 204 resultater

Logik

Logik (fra græsk λόγος, logos = sprog, ord, system, samling) er en filosofisk disciplin, der undersøger formelle argumenters "gyldighed" - om de er logisk konsistente i forhold til de aksiomer eller regler, argumentet hviler på. Om et argument er..

Læs hele artiklen

Konjunktion (logik)

Konjunktion er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien sand, når begge operander er sande og ellers værdien falsk. I logik skrives en konjunktion: P & Q eller P ∧ Q og læses: Det er tilfældet at..

Læs hele artiklen

Modus ponens

Modus ponens er navnet på en syllogisme indenfor klassisk logik. I naturligt sprog: Hvis P, så Q P er Sand Ergo, Q er Sand I formel logik (sætningslogik): , Kategori: Logik..

Læs hele artiklen

Disjunktion

Disjunktion er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien falsk, når begge operander er falske og ellers værdien sand. I logik skrives en disjunktion P | Q eller P ∨ Q Og læses: Det er tilfældet at..

Læs hele artiklen

Modus tollens

Modus tollens er en gyldig syllogisme ( argumentationsform): I naturligt sprog: Hvis P, så Q Q er falsk Ergo, P er falsk I formel logik (sætningslogik): , ¬ ¬ ("p medfører/så q, ikke-q, ergo ikke-p") I mængdelære: ∴ ("P er en delmængde af Q. x..

Læs hele artiklen

Biimplikation

Biimplikation er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien sand, når begge operander har samme sandheds værdi. Dette betyder at enten er begge operander sande eller begge falske. I logik skrives en biimp..

Læs hele artiklen

Beskrivelseslogik

Beskrivelseslogik ( engelsk Description logic, tysk Beschreibungslogik) er en variant af modallogik, som anvendes til implementering af begrebshierarkier. Litteratur F. Baader, D. Calvanese, D. L. McGuiness, D. Nardi, P. F. Patel-Schneider: The Descripti..

Læs hele artiklen

Modallogik

En modallogik er enhver logik, der håndterer modaliteter: begreber så som mulighed, umulighed og nødvendighed. Logikker til håndtering af en række andre ideer, så som "senere", "tidligere", "kan", "kunne", "må" kaldes herefter også modallogik, da..

Læs hele artiklen

Eksistenskvantor

Eksistenskvantor er en logisk kvantor. Formlen læses: Der findes mindst én x, for hvilken det gælder at P. Kategori: Logik..

Læs hele artiklen

Datalogisk Afdeling (RUC)

Datalogisk Afdeling på Roskilde Universitetscenter (RUC) er del af Institut for Kommunikation, Virksomhed og informationsteknologier og bedriver undervisning og forskning i datalogi (siden midt i 1970'erne) og informatik (fra 2007). Forskningsmæssigt s..

Læs hele artiklen