Innholdsfortegnelse
11 relasjoner: Betingelse, Eksklusiv disjunksjon, Kommutativ lov, Konjunksjon (logikk), Latin, Negasjon, Premiss, Sannhetsfunksjon, Setningslogikk, Subjunksjon (logikk), Synonym.
- Ekvivalens (matematikk)
Betingelse
En betingelse (latin conditio) beskriver et logisk eller faktisk avhengighetsforhold mellom to eller flere tilstander eller hendelser.
Se Bisubjunksjon og Betingelse
Eksklusiv disjunksjon
Eksklusiv disjunksjon (også alternativ, antivalens, kontrajunksjon eller kontravalens) er en sannhetsfunksjon i setningslogikken (av hhv. latin dis.
Se Bisubjunksjon og Eksklusiv disjunksjon
Kommutativ lov
Kommutativitet i addisjon: 3 + 2.
Se Bisubjunksjon og Kommutativ lov
Konjunksjon (logikk)
Konjunksjon eller logisk og er en viktig sannhetsfunksjon i setningslogikken (latin con.
Se Bisubjunksjon og Konjunksjon (logikk)
Latin
Latin er et indoeuropeisk språk i den italiske gruppen, og opprinnelig dialekten i det antikke Latium (Roma med omegn) som senere ble helt dominerende i den vestlige del av Romerriket.
Negasjon
Negasjon (av latin negatio) betyr nektelse og er en viktig sannhetsfunksjon i setningslogikken.
Premiss
Premiss kommer fra det latinske praemisus (pre- -mittere), som betyr å plassere foran, det vil si å forutsette.
Sannhetsfunksjon
Sannhetsfunksjoner (logiske operasjoner eller junksjoner) er funksjoner som ikke opererer med tall, men med de to sannhetsverdiene sann og usann.
Se Bisubjunksjon og Sannhetsfunksjon
Setningslogikk
Setningslogikk (også utsagnslogikk, proposisjonslogikk eller junktorlogikk) er en grunnleggende gren av den moderne logikken.
Se Bisubjunksjon og Setningslogikk
Subjunksjon (logikk)
Subjunksjon (også implikasjon) er en viktig sannhetsfunksjon i setningslogikken (latin sub.
Se Bisubjunksjon og Subjunksjon (logikk)
Synonym
Et synonym er et ord som har samme eller liknende betydning som et annet ord.
Se også
Ekvivalens (matematikk)
- Bisubjunksjon
- Ekvivalensklasse
- Ekvivalensrelasjon
- Formlikhet
- Isometri
- Isomorfisme
- Kongruens (geometri)
- Likhetstegn
Også kjent som Biimplikasjon, Ekvijunksjon, Ekvivalens (logikk), Ekvivalent, Hvis og bare hvis, Hviss, Om og bare om, XNOR.