Hur menar du med "språkliga satslogiken"? Satslogiken är ett logiskt system för att hantera språkliga satser, alltså någon form av ram där man kan logiskt definera språket och följa utfall. Boolesk algebra är ytterligare abstraktion, med en "matematisk vinkel".
Frågan#1
Hej,
Jag studerar python och hade en fråga. I min bok står det:
"På 1800-talet experimenterade matematikern George Boole med att försöka översätta satslogiken
till något som gick att räkna på. Resultatet blev den så kallade booleska algebran, där
variablerna endast får anta värdena sant (1) och falskt (0)."
Menas det att han granskade den språkliga satslogiken och försökte göra något matematiskt av det eller?