George Boole: Béda antara owahan

Konten dihapus Konten ditambahkan
→‎Logika: nambahi referensi
Larik 29:
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, mula logika iki uga dikenal minangka logika matematik.<ref name=":0" /><br />
 
== Karya ==