Snabbare tillgång än webbläsare!
15 relationer: Augustus De Morgan, Boolesk algebra, Digitalteknik, Disjunktion, Konjunktion (logik), Logik, Mängdteori, Negation, Satslogik, Slutledningsregel, Snitt, Tautologi (logik), Teorem, Union (matematik), William Ockham.
Augustus De Morgan
Augustus De Morgan, född 27 juni 1806 i Indien, död 18 mars 1871, var en brittisk matematiker.
Ny!!: De Morgans lagar och Augustus De Morgan · Se mer »
Boolesk algebra
Boolesk algebra är ursprungligen en överföring av satslogiken till kalkyl, som introducerades av George Boole år 1854.
Ny!!: De Morgans lagar och Boolesk algebra · Se mer »
Digitalteknik
En signal i ett digitalt system ligger i något av två spänningsintervall. De i övre intervallet representerar logiskt 1 och signaler i det undre logiskt 0. Intervallen är väl åtskilda med ett mellanliggande förbjudet område där signalen är odefinierad. grindar per kapsel är vanligt. Digitalteknik är ett område inom både elektroniken och datavetenskapen som handlar om analys och konstruktion av digitala nät.
Ny!!: De Morgans lagar och Digitalteknik · Se mer »
Disjunktion
Disjunktion, som i satslogiken är liktydigt med inklusiv disjunktion, är en logisk operator.
Ny!!: De Morgans lagar och Disjunktion · Se mer »
Konjunktion (logik)
Inom logik och matematik är konjunktion ett konnektiv, som betecknas med symbolen \land eller symbolen \cdot, och utläses som "och".
Ny!!: De Morgans lagar och Konjunktion (logik) · Se mer »
Logik
Logik är i bred bemärkelse läran om vad som gör ett resonemang eller en argumentation giltig.
Ny!!: De Morgans lagar och Logik · Se mer »
Mängdteori
miniatyr Mängdteori är del inom matematisk logik som syftar till att studera samlingar av element som kallas för mängder.
Ny!!: De Morgans lagar och Mängdteori · Se mer »
Negation
Negation är i logiken ett förnekande av en sats på ett sådant sätt att, om satsen A är sann, så är icke-A falsk och om A är falsk, så är icke-A sann.
Ny!!: De Morgans lagar och Negation · Se mer »
Satslogik
Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.
Ny!!: De Morgans lagar och Satslogik · Se mer »
Slutledningsregel
Slutledningsregler, ibland även kallade härledningsregler, är de grundläggande argumentationssteg som utförs i en härledning.
Ny!!: De Morgans lagar och Slutledningsregel · Se mer »
Snitt
Snittet av ''A'' och ''B'' är mängden av alla element som finns i ''både'' ''A'' och ''B'' Snittet eller skärningen av två mängder, A och B, är mängden av alla element som finns i både A och B, det vill säga, inte i enbart A och inte i enbart B men tillhör både A och B. Snittet av A och B skrivs A ∩ B.
Ny!!: De Morgans lagar och Snitt · Se mer »
Tautologi (logik)
Tautologi är en benämning på en sats inom satslogiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler.
Ny!!: De Morgans lagar och Tautologi (logik) · Se mer »
Teorem
En sats eller ett teorem (av grekiska θεωρέω, theoreo, "betrakta", "skåda") är ett matematiskt eller logiskt påstående, som är bevisat.
Ny!!: De Morgans lagar och Teorem · Se mer »
Union (matematik)
Inom matematiken är unionen av två mängder A och B, mängden av de element som tillhör A eller B. Med "eller", menas här inklusivt eller, vilket innebär att unionsmängden består av de element, vilka tillhör minst en av de två mängderna.
Ny!!: De Morgans lagar och Union (matematik) · Se mer »
William Ockham
William Ockham, skiss i manuskriptet ''Summa logicae'' från 1341 med texten ''frater Occham iste'' William Ockham (även William Ockam och William av Occam, ibland bara Occam, latin: Gulielmus Occamus), född cirka 1287 i byn Ockham i grevskapet Surrey i England, död 9 april 1347 i München, var en engelsk franciskanmunk och filosof.
