Søgeresultater

..., når begge (eller alle) [[operander]] er falske og ellers værdien [[Sand (logik)|sand]]. I logik skrives en disjunktion ...

'''Modus ponens''' er navnet på en [[syllogisme]] indenfor klassisk [[logik]]. I formel logik (sætningslogik): ...

I formel logik (sætningslogik): * [[Logik]] ...

{{Opdeles|Tautologi (logik)|Tautologi (grammatik)}} ...' (fra [[Græsk (sprog)|græsk]] ταυτολογία ''tautologia'' "samme sag") et [[logik|logisk]] [[udsagn]], der er sandt for alle tildelinger af værdier til udtry ...

'''Prædikatslogik''' er en del af [[logik]], som findes indenfor hhv. filosofi samt matematik, og bygger oven på [[ud ...kan formulere førsteordens prædikatslogik, så den bliver [[Fuldstændighed (logik)|''fuldstændig'']]<ref>Om [[:sv:Fullständighet|''fuldstændighed'']] {{sv sp ...

...ikke-modale) formel logik er enten [[Sande (logik)|sande]] eller [[Falske (logik)|falske]], hvorfor man siger at en logisk operators [[operand]]er (mulige v Logiske operatorer i almindelig prædikat-logik: ...

En '''modallogik''' er enhver [[logik]], der håndterer modaliteter: begreber så som [[mulighed]], [[umulighed]] o [[Kategori:Logik]] ...

[[Kategori:Logik]] [[Kategori:Matematisk logik]] ...

.... Dette betyder at enten er begge operander ''sande'' eller begge [[Sande (logik)|falske]]. I logik skrives en biimplikation ...

...kt [[Ækvivalensrelation|ækvivalent]] udtryk. Et udtryk indenfor matematisk logik kan være enten sandt eller falsk. I en sandhedstabel kan mulighederne sand [[Kategori:Logik]] ...

'''Magiske kvadrater''' er et [[Logik|logisk]] spil, som går ud på, at udfylde et [[kvadrat]] med ''n'' rækker og [[Kategori:Logik]] ...

...s kan også bestå i at vise, at et udsagn/udtryk er korrekt, ved hjælp af [[logik]] og [[matematik]]. Det at fremstille beviser har altid været af stor inter [[Kategori:Logik]] ...

[[Kategori:Matematisk logik]] ...

I [[logik]] betegner '''kvantifikation''' mængden af eksempler inden for [[Diskursomr ''Alkvantoren'', '''<math> \forall{}\,</math>''', er en [[logik|logisk]] kvantor, der betyder ''for alle''. Helt præcist læses ...

...r repræsenterer mængder af abstrakte objekter. Mængdelæren er sammen med [[logik]] grundstenen i næsten al moderne matematik. Mængdelæren gør kun brug af en [[Kategori:Matematisk logik]] ...

[[Kategori:Logik]] ...

[[Kategori:Logik]] ...

...anden er høj'' og sætningen ''konen er lav'', som begge skal være [[Sande (logik)|sande]] for at den samlede sætning skal være sand. Ordet ''og'' fungerer h .... Et udtryk indenfor matematisk logik, kan være enten sandt eller [[Falsk (logik)|falsk]]. I og med der kun findes disse to "tilstande" skelner man mellem s ...

...arakterisering af et gitter. Teorien for gitre har anvendelser inden for [[logik]], [[mængdelære]], [[talteori]], [[lineær algebra]], [[operatorteori]] og m Teorien for gitre startede med G. Booles indførsel af symbolsk logik. Som selvstændigt forskningsområde blev gitterteori udviklet af G. Birkhoff ...

...talteoretikere]], mens den anden ofte benyttes af [[mængde]]teoretikere, [[logik]]ere og [[datalogi|dataloger]]. ...