15 relasjoner: Algebra, Boolsk algebra, Filosofi, Fuzzylogikk, George Boole, Gottlob Frege, Inklusiv disjunksjon, Konjunksjon (logikk), Logikk, Matematikk, Negasjon, Sannhet, Sannhetsfunksjon, Subjunksjon (logikk), 20. århundre.
Algebra
Algebra (fra arabisk: al-jabr «forening, kombinasjon») er en gren innen matematikken som kan beskrives som en generalisering og utvidelse av aritmetikken.
Ny!!: Setningslogikk og Algebra · Se mer »
Boolsk algebra
Boolsk algebra er algebra med variabler som kun kan ha to tilstander eller verdier.
Ny!!: Setningslogikk og Boolsk algebra · Se mer »
Filosofi
«Filosofen», maleri av Rembrandt «Tenkeren», skulptur av Auguste Rodin. Filosofi, fra gresk philosophia (tavle), «kjærlighet til visdom», er et intellektuelt fag som kritisk stiller de mest grunnleggende spørsmål: «Finnes det en virkelighet utenfor mine tanker?», «Hva er kunnskap?», «Hva er sannhet?», «Hva gjør en handling verdifull?», «Har mennesker og dyr verdi, og er de i så fall like eller ulike?», «Hva er tid?», «Hvem er jeg?» og lignende spørsmål.
Ny!!: Setningslogikk og Filosofi · Se mer »
Fuzzylogikk
Fuzzylogikk innebærer at man baserer avgjørelser på «godt nok»- eller «nær nok»-vurderinger.
Ny!!: Setningslogikk og Fuzzylogikk · Se mer »
George Boole
George Boole (født 2. november 1815 i Lincoln i England, død 8. desember 1864 i Ballintemple i County Cork i Irland) var en engelsk matematiker og filosof.
Ny!!: Setningslogikk og George Boole · Se mer »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (født 8. november 1848 i Wismar i Tyskland, død 26. juli 1925 i Bad Kleinen i Tyskland) var en tysk matematiker, logiker og filosof, som anses som en av opphavsmennene til matematisk logikk og analytisk filosofi.
Ny!!: Setningslogikk og Gottlob Frege · Se mer »
Inklusiv disjunksjon
Inklusiv disjunksjon, adjunksjon eller logisk eller er en viktig sannhetsfunksjon i setningslogikken (latin dis.
Ny!!: Setningslogikk og Inklusiv disjunksjon · Se mer »
Konjunksjon (logikk)
Konjunksjon eller logisk og er en viktig sannhetsfunksjon i setningslogikken (latin con.
Ny!!: Setningslogikk og Konjunksjon (logikk) · Se mer »
Logikk
Logikk er læren om lovene og reglene som gjør tenkningen, resonneringen og argumentasjonen gyldig («logisk»).
Ny!!: Setningslogikk og Logikk · Se mer »
Matematikk
Euklid blir av mange regnet som geometriens far, her i et maleri av Rafael. Matematikk kan beskrives som en gruppe relaterte emner der en studerer objekter karakterisert med størrelse, orientering og/eller form, og også relasjoner mellom disse objektene.
Ny!!: Setningslogikk og Matematikk · Se mer »
Negasjon
Negasjon (av latin negatio) betyr nektelse og er en viktig sannhetsfunksjon i setningslogikken.
Ny!!: Setningslogikk og Negasjon · Se mer »
Sannhet
Sannhet er et sentralt filosofisk begrep, men ikke desto mindre vanskelig å definere nøyaktig.
Ny!!: Setningslogikk og Sannhet · Se mer »
Sannhetsfunksjon
Sannhetsfunksjoner (logiske operasjoner eller junksjoner) er funksjoner som ikke opererer med tall, men med de to sannhetsverdiene sann og usann.
Ny!!: Setningslogikk og Sannhetsfunksjon · Se mer »
Subjunksjon (logikk)
Subjunksjon (også implikasjon) er en viktig sannhetsfunksjon i setningslogikken (latin sub.
Ny!!: Setningslogikk og Subjunksjon (logikk) · Se mer »
20. århundre
Allierte (grønt) og aksemakter (oransje) ved starten av Første verdenskrig 4. august 1914. Kolonier i lys grønn og gult. Allierte i grønt. Land som tilsluttet seg etter angrepet på Pearl Harbor i lysegrønt. Aksemaktene i oransje. Alliansefrie land i grått. Det 20.
Ny!!: Setningslogikk og 20. århundre · Se mer »