George Boole: Béda antara owahan

17 bèt wis ditambahake ,  3 sasi kepungkur
→‎Logika: nambahi referensi
(Nambahi isi)
(→‎Logika: nambahi referensi)
Lumantar logika aljabar, Boole nemokaké logika simbulis modhèren. Boole ndadèkaké logika dadi sawijining matematik kang nganggo simbul-simbul idhéografis. Dhèwèké nuli nyusun sawijining sistem ''penalaran'' kang ngowahi katrangan-katrangan kang ana dadi sawijining ''persamaan''. Kanthi ''persamaan'' iki dhèwèké bisa njupuk dudutan.
 
Logika kang dikembangaké déning Boole iki nyinaoni bab asas-asas ''penalaran'' kang bener lan migunakaké simbul-simbul tartamtu. Yèn dibandhingaké karo logika tradhisionalé Aristotèles, logika modhèren kang dikembangaké Boole iki luwih lumrah utawa umum. Logika iki uga logika kang nyinaoni wujud-wujudé ''pernyataan,'' dudu nyinaoni isiné ''pernyataan''. Dadi logika modhèren iki sejatiné uga logika formal kang nganggo simbul-simbul matematik.<ref name=":0" /><br />
 
== Karya ==
5.871

besutan