webForumDet fria alternativet

satslogik python

2 svar · 1 030 visningar · startad av mnn

mnnMedlem sedan nov. 20115 inlägg
#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?

SPiNMedlem sedan mars 20007 896 inlägg
#2

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

mnnMedlem sedan nov. 20115 inlägg
#3

SPiN skrev:

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

Ok, då vet jag. Tack :)

131 ms totalt · 3 externa anrop · v20260731065814-full.3ab8d573
0 ms — hämta forumlista (cache)
0 ms — hämta statistik (cache)
129 ms — hämta tråd, inlägg och bilagor (db)