Søkeresultater
Hopp til navigering
Hopp til søk
Artikkeltitler med treff på forespørselen
- * [[kommutativ lov|kommutativ]]: «A og B» er [[Ekvivalens (logikk)|ekvivalent]] med «B og A», eller symbolsk [[Kategori:Logikk]] …2 KB (264 ord) - 27. des. 2015 kl. 16:29
- * gjennom [[eksklusjon (logikk)|eksklusjon]]en, <math>(\mathbf A \rightarrow \mathbf{B}) \Leftrightarrow… [[Kategori:Logikk]] …3 KB (406 ord) - 20. mai 2021 kl. 15:49
- Dette kommer av at eksklusjonen er [[negasjon]]en av en «[[konjunksjon (logikk)|logisk ''og'']]»:<br /> * [[konjunksjon (logikk)|konjunksjon]] («og»), <math>(\mathbf A \land \mathbf{B}) \Leftrightarrow… …2 KB (338 ord) - 30. aug. 2023 kl. 10:07
- '''Førsteordens predikatlogikk''' er i [[logikk]] et språk, med tilhørende semantikker og kalkyler, som beskriver objekter == Modellteori for førsteordens logikk == …7 KB (1 215 ord) - 3. jun. 2020 kl. 10:13
Artikkeltekster med treff på forespørselen
- Abjunksjonen kan uttrykkes gjennom [[konjunksjon (logikk)|''og'']] og [[negasjon|''ikke'']]: …mmutativ lov|kommutativ]]: «A, men ikke B» er altså ''ikke'' [[Ekvivalens (logikk)|ekvivalent]] med den '''konverse abjunksjonen''' «ikke A, men B». …732 byte (97 ord) - 31. mai 2018 kl. 20:20
- En '''modal logikk''' er en [[logikk]] for å behandle ''modaliteter'': konsepter som ''mulighet'', ''umulighet'' *Hermann Ruge Jervell: ''Modal logikk''. [Oslo]: Unipub forlag, [2002?] ISBN 82-7477-094-3 …1 KB (186 ord) - 27. des. 2015 kl. 19:40
- …s som en ''ELLER av OG'', eller en [[sum av produkt]], eller (i filosofisk logikk) et ''kluster konsept''. Som en normalform er formen viktig i automatisert Normalformer i logikk er viktige for bl.a. [[automatisk teorembevising]]. …1 KB (219 ord) - 15. apr. 2019 kl. 21:02
- Dette kommer av at eksklusjonen er [[negasjon]]en av en «[[konjunksjon (logikk)|logisk ''og'']]»:<br /> * [[konjunksjon (logikk)|konjunksjon]] («og»), <math>(\mathbf A \land \mathbf{B}) \Leftrightarrow… …2 KB (338 ord) - 30. aug. 2023 kl. 10:07
- …ksjonen er en «baklengs» [[subjunksjon]], dvs. «A hvis B» er [[Ekvivalens (logikk)|ekvivalent]] med «hvis B, så A», eller symbolsk: [[Kategori:Logikk]] …802 byte (117 ord) - 18. sep. 2019 kl. 23:00
- …ksjon er [[kommutativ lov|kommutativ]]: «enten A eller B» er [[Ekvivalens (logikk)|ekvivalent]] med «enten B eller A», eller symbolsk: * som «A eller B, [[abjunksjon|men ikke]] både A [[konjunksjon (logikk)|og]] B», <math>(\mathbf A \oplus \mathbf{B}) \Leftrightarrow ((\mathbf A… …2 KB (264 ord) - 28. des. 2015 kl. 12:32
- …ed [[addisjon]], men må ikke leses som eller forveksles med [[konjunksjon (logikk)|''og'']]. * [[kommutativ lov|kommutativ]]: «A eller B» er [[Ekvivalens (logikk)|ekvivalent]] med «B eller A», eller symbolsk …2 KB (305 ord) - 29. des. 2015 kl. 19:09
- Innenfor logikk blir nabla brukt som en [[Formal logikk|kvantor]] for eigenvariabler<ref>A Proof Theory for Generic Judgments, by… …2 KB (232 ord) - 7. sep. 2021 kl. 17:29
- * [[kommutativ lov|kommutativ]]: «A og B» er [[Ekvivalens (logikk)|ekvivalent]] med «B og A», eller symbolsk [[Kategori:Logikk]] …2 KB (264 ord) - 27. des. 2015 kl. 16:29
- * [[Konjunksjon (logikk)|konjuksjon]] (''og'', «<math>\land</math>»). * [[bisubjunksjon]] (også [[Ekvivalens (logikk)|ekvivalens]]; ''hvis og bare hvis, så'', «↔»). …3 KB (370 ord) - 18. mai 2023 kl. 22:23
- '''Førsteordens predikatlogikk''' er i [[logikk]] et språk, med tilhørende semantikker og kalkyler, som beskriver objekter == Modellteori for førsteordens logikk == …7 KB (1 215 ord) - 3. jun. 2020 kl. 10:13
- [[Kategori:Logikk]] …911 byte (124 ord) - 28. des. 2015 kl. 15:41
- De aller fleste [[datamaskin]]er er basert på [[Boolsk algebra|binær logikk]] og binært tallsystem, hvor toerpotenser spiller en stor rolle. …967 byte (130 ord) - 31. mar. 2018 kl. 11:33
- * gjennom [[eksklusjon (logikk)|eksklusjon]]en, <math>(\mathbf A \rightarrow \mathbf{B}) \Leftrightarrow… [[Kategori:Logikk]] …3 KB (406 ord) - 20. mai 2021 kl. 15:49
- * som «hvis A, så B, [[konjunksjon (logikk)|og]] hvis B, så A», <math>(\mathbf A \leftrightarrow \mathbf{B}) \Leftrigh [[Kategori:Logikk]] …3 KB (416 ord) - 27. des. 2015 kl. 18:21
- …tio'' = «motsigelse») er en form for [[bevis (vitenskap)|bevisførsel]] i [[logikk]]en. Beviset går ut på at ''[[sannhet|usannheten]]'' av et [[utsagnslogikk| …og|og]]», «¬» for «[[negasjon|ikke]]», og «→» for «[[subjunksjon (logikk)|hvis–så]]»): …5 KB (723 ord) - 9. jul. 2021 kl. 09:33
- [[Kategori:Logikk]] …1 KB (165 ord) - 20. mar. 2018 kl. 06:18
- …'''''X'') → ''B'''''» (der «<math>\land</math>» betegner et [[konjunksjon (logikk)|logisk ''og'']]). ''A'' er med på å betinge ''B'', men sammen med en ytter [[Kategori:Logikk]] …4 KB (524 ord) - 31. mai 2018 kl. 21:20
- '''Naturlig deduksjon''' kan i [[logikk]] og [[bevisteori]] referere til både [[Gerhard Gentzen]]s og [[Jan Łukasie Se artikkelen [[førsteordens logikk]] for mer informasjon om formler og termer. …5 KB (643 ord) - 10. nov. 2022 kl. 20:19
- …gheter]] er det ingen [[Korrekthet (logikk)|korrekt]] og [[Fullstendighet (logikk)|komplett]] [[aksiom]]atisering for skjøteavhengigheter,<ref>{{cite journal …4 KB (593 ord) - 4. feb. 2025 kl. 20:23