Indtast et propositionalt logisk udtryk for at afkode det
Nedenfor er eksempler på, hvordan man bruger hver operator til at sammensætte en propositional Logisk ligning. Klik på en operator nedenfor for at indsætte et eksempel.
Denne lommeregner kræver en vis viden om Propositional Calculus brugt. Hvis du ikke er familier med Propositional Calculus, har vi lavet en enkel introduktion til det. Det er kun ment som en introduktion til emne, så hvis der er brug for mere viden, skal denne kan findes andre steder.
Her er linket: Introduction to Propositional Calculus
Dette er en propositional lommeregner også kendt som en logisk lommeregner lavet til kurset Beregnelighed & Logik på Aarhus Universitet, men er det ikke forbundet med det. Den kan afkode og visualisere propositional logik udtryk. Det understøtter negation, implikation og, eller, og ækvivalens. Det vil kontrollere, om udtrykket er tilfredsstillende, gyldigt og give alternativer. Det vil også generere en sandhedstabel og et udtryk træ. Det er beregnet til at være et pædagogisk værktøj til at hjælpe eleverne med at forstå propositional logik.
Hvis du støder på fejl eller har feedback, bedes du kontakte os på:
[email protected]
Henvendelser fortrækkes på engelsk.
Hvis du vil støtte os, kan du købe os en kop kaffe på: buymeacoffee.com/infobits
Denne hjemmeside er tilgængelig på flere sprog.
Vi bruger lokal lagring til at gemme din historie. Hvis du vil fjerne det data brug knappen nedenfor for at gøre det.