Indholdsfortegnelse
10 relationer: Bevis (matematik), Gate (digital elektronik), Grænseværdi (matematik), Kombinatorisk kredsløb, Konsekvent, Kontraposition, Logisk operator, Modallogik, Prædikatslogik, Sandhedstabel.
Bevis (matematik)
Et matematisk bevis er en udledning af en formel, sætning eller et udtryk.
Se Logisk konnektiv og Bevis (matematik)
Gate (digital elektronik)
I den digitale elektronik bruges begrebet en gate om et simpelt elektronisk kredsløb med en enkelt udgang samt to eller flere indgange; disse kredsløb er de grundlæggende byggeelementer i al rent digital elektronik.
Se Logisk konnektiv og Gate (digital elektronik)
Grænseværdi (matematik)
Grænseværdi har været et centralt begreb i matematikken siden infinitesimalregningens opståen i slutningen af det 17.
Se Logisk konnektiv og Grænseværdi (matematik)
Kombinatorisk kredsløb
Et kombinatorisk kredsløb er et digitalt kredsløb opbygget af gates som i sig selv er simple elektroniske kredsløb.
Se Logisk konnektiv og Kombinatorisk kredsløb
Konsekvent
En konsekvent er den anden halvdel af et hypotetisk udsagn.
Se Logisk konnektiv og Konsekvent
Kontraposition
Bevis ved kontraposition (eng. Proof by contraposition) er en bevisteknik, der bruges ofte i matematik til at bevise en implikation.
Se Logisk konnektiv og Kontraposition
Logisk operator
En logisk operator er en afbildning, en vigtig del af de formelle sprog der kaldes formel logik (og ofte andre formelle sprog).
Se Logisk konnektiv og Logisk operator
Modallogik
En modallogik er enhver logik, der håndterer modaliteter: begreber så som mulighed, umulighed og nødvendighed.
Se Logisk konnektiv og Modallogik
Prædikatslogik
Prædikatslogik er en del af logik, som findes indenfor hhv.
Se Logisk konnektiv og Prædikatslogik
Sandhedstabel
En sandhedstabel er en tabel, som bruges for at overskueliggøre visse logiske konnektiver, eller eventuelt komprimere et kompliceret udtryk til et mere kompakt ækvivalent udtryk.
Se Logisk konnektiv og Sandhedstabel
Også kendt som Implikation.