En sannhet tabellen er en hendig liten logisk enhet som viser seg ikke bare i matematikk, men også i informatikk og Filosofi, noe som gjør det til et kjempeflott tverrfaglig verktøy. Notasjonen kan variere avhengig av hvilken disiplin du arbeider i, men de grunnleggende begrepene er de samme.
Dette primer vil utstyre deg med den kunnskapen du trenger for å forstå symbolsk logikk. Vi vil starte med å definere felles operatører og i neste innlegg skal jeg vise deg hvordan å dissekere en mer komplisert logikk uttalelse.,
→ For mer matematikk tutorials, sjekk ut Math Hacks på YouTube! ←
Boolsk Algebra er en gren av algebra som innebærer bools, eller sant og usant verdier. De er vanligvis merket som T eller 1 for sanne og F, eller 0 for forfalskning. Ved hjelp av denne enkle systemet vi kan koke ned komplekse uttalelser til fordøyelig logiske formler.
monooperatorer
monooperatorer er den enkleste operasjoner fordi de kan brukes til en eneste Sann eller Falsk verdi.
Identitet
identiteten er vår triviell sak. Det sier som Sant er Sant og Usant er Falske.,
Negasjon
negasjon Av operatør er vanligvis representert av en tilde (~) eller symbol. Det benekter, eller brytere, noe som er sannheten verdi.
Vi kan vise dette forholdet i en sannhet bordet. En sannhet tabellen er en måte å organisere informasjon for å liste ut alle mulige scenarier.
Vi tittelen den første kolonnen p for forslag. I den andre kolonnen vi bruke operatør til side, i dette tilfellet er det s ~p (les: ikke p). Så som du kan se om vår premiss begynner som Sann og vi negere det, får vi Forfalskning, og vice versa.,
Logisk Sann og Logiske False
Dette er litt merkelig operasjoner. Logisk sann alltid resulterer i True og logiske falske alltid resulterer i Falske uansett premisset. Disse operasjonene er ofte referert til som «alltid sant» og «alltid false».,
Binary Operators
Binary operators require two propositions., Vi vil bruke p og q som vårt eksempel preposisjoner.
OG
OG operatør (symbolsk: ∧) også kjent som logisk sammenheng krever både p og q være Sann for resultatet til å være Sant. Alle andre tilfeller resultere i Falske. Dette er logisk samme som skjæringspunktet mellom to sett i et Venn-Diagram.