Søgeresultater

{{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 ...

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

...kt [[Ækvivalensrelation|ækvivalent]] udtryk. Et udtryk indenfor matematisk logik kan være enten sandt eller falsk. I en sandhedstabel kan mulighederne sand [[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]] ...

...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]] ...

...er det den del, der følger et 'så' (engelsk: "''then''"). I en [[matematik|matematisk]] [[implikation]], hvis <math>\phi</math> indebærer <math>\psi</math> kalde [[Kategori:Logik]] ...

...d de første tre aksiomer. Det bruges desuden til at bevise princippet om [[matematisk induktion]]. [[Kategori:Matematisk logik]] ...

...emt type [[matematisk bevis]], som er meget velegnet til at bevise at en [[matematisk]] [[hypotese]] er sand for alle [[naturlige tal]], eller andre [[talmængde] [[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 ...

...[[kompleksitetsteori|beregningers kompleksitet]] og generelt i matematisk logik. ...

En '''relation''' er i matematisk forstand en sammenknytning mellem elementer fra to eller flere forskellige Udtrykt "ikke-matematisk" kan det læses som: "Relationen R forbinder medlemmer af mængden A, med med ...

Næsten alle rum, der optræder i [[matematisk analyse]] er Hausdorff; det vigtigste eksempel er de [[reelle tal]] (med to ...tret af en ring]]. De optræder også i [[modelteori]]en i [[intuitionistisk logik]]. ...

'''Linjens ligning''' er en [[matematik|matematisk]] beskrivelse af en [[uendelig]] lang, ''[[Linje|ret linje]]'' med [[konsta Nærværende afsnit tilstræber - ved at fremhæve den matematiske logik bag diverse måder at (om)skrive linjens ligning på - at præsentere, hvad de ...

[[Kategori:Matematisk logik]] ...

...argument, som overtræder reglerne for logisk følgeslutning, mens der i en matematisk fejlslutning ofte sluttes korrekt, men på en fejlagtig forudsætning. Udover [[Kategori:Matematisk logik]] ...

...et samfund skal kunne fungere, er det nødvendigt med forskellige typer af matematisk kundskab. Først og fremmest må man have en god, udviklet [[kalender]], så m ...ke metoder, geometri og [[talteori]]. Grækerne udviklede også [[matematisk logik]] og deduktiv bevisførelse. ...

...stsat med bestemte egenskaber, kaldet [[aksiom]]er. Et [[Bevis (matematik)|matematisk bevis]] består af en række anvendelser af nogle deduktive regler på allered ...]], som erstattede [[Newtonsk gravitation|Newtons tyngdelov]] som en bedre matematisk model. ...

...komplette værker. Bemærk, at "[[næsten sikkert]]" i denne sammenhæng er et matematisk udtryk med en specifik betydning, og at "aben" ikke er en virkelig abe, men * I ''Inflexible Logic'' (''Ufleksibel logik'') af [[Russell Maloney]], en novelle der blev bragt i ''[[The New Yorker]] ...