Algebra logiki
Z Wikipedii, wolnej encyklopedii
Algebra logiki termin obecnie używany wyłącznie w sensie historycznym. W drugiej połowie XIX i na początku XX w. algebrą logiki nazywano logikę formalną uprawianą na wzór algebry liczb, przy użyciu jej symboli: dodawania, mnożenia i odejmowania, których sens odpowiednio modyfikowano. Osobami które zapoczątkowały takie podejścia do logiki byłi: G. Boole i A. de Morgan. Algebra logiki była jednym z nurtów, z których wyrosła współczesna logika formalna.
[edytuj] Bibliografia
- Witold Marciszewski (red.), Mała encyklopedia logiki, wyd. 2 rozszerzone, Wrocław, Ossolineum, 1988 ( 1sze wyd. 1970) ISBN 83-04-01327-4
