10 relationer: Binär operator, Charles Sanders Peirce, Disjunktion, Henry M. Sheffer, Logisk operator, Negation, Sanningsfunktion, Sanningsvärdetabell, Satslogik, Sheffers streck.
Binär operator
En binär operator, dyadisk operator, inre komposition eller binär operation är inom matematiken en kalkylering eller en operation med två indatakvantiteter, d.v.s. en operator med aritet 2.
Ny!!: NOR och Binär operator · Se mer »
Charles Sanders Peirce
Charles Sanders Peirce (/pɜːrs/), född 10 september 1839 i Cambridge i Massachusetts, död 19 april 1914 i Milford i Pennsylvania, var en amerikansk filosof.
Ny!!: NOR och Charles Sanders Peirce · Se mer »
Disjunktion
Disjunktion, som i satslogiken är liktydigt med inklusiv disjunktion, är en logisk operator.
Ny!!: NOR och Disjunktion · Se mer »
Henry M. Sheffer
Henry M. Sheffer, född 1882, död 1964, amerikansk logiker, inskriven i logikhistorien som upphovsman till det så kallade Sheffers streck.
Ny!!: NOR och Henry M. Sheffer · Se mer »
Logisk operator
En logisk operator är ett konnektiv inom satslogiken, vilket används för att sammanfoga två eller flera satser.
Ny!!: NOR och Logisk operator · 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!!: NOR och Negation · Se mer »
Sanningsfunktion
En sanningsfunktion är en funktion f(p, q) av två argument p och q som antar sanningsvärden och där resultatet är ett sanningsvärde.
Ny!!: NOR och Sanningsfunktion · Se mer »
Sanningsvärdetabell
Sanningsvärdetabell är en teknik inom logiken utvecklad av Charles Peirce på 1880-talet för att analysera och bestämma ett logiskt uttrycks sanningsvärde.
Ny!!: NOR och Sanningsvärdetabell · 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!!: NOR och Satslogik · Se mer »
Sheffers streck
Sheffers streck är ett logiskt konnektiv, som symboliseras med tecknet | eller alternativt ↑.
Ny!!: NOR och Sheffers streck · Se mer »