LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] .
Calcolo enunciativo. - Assiomi del calcolo enunciativo:
Regole d'inferenza del calcolo enunciativo:
a) regola di separazione o di distacco o modusponens: a una sequenza di fbf in cui occorrano sia K sia K → H può essere aggiunta H; b) regola di ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] in realtà emerge solo quando A⊃B è un teorema della logica di riferimento, nel qual caso si può applicare la regola del modusponens che consente di inferire la conclusione B dall'ipotesi A. Ma dire che A⊃B è un teorema o una tautologia di una logica ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] .
9. b ⊃ . a ⊃ ab
10. a ⊃ b . ⊃ . −b ⊃ –.
11. −(−a) = a
12. (. ∪ b)c ⊃ ac ∪ bc
13. a − a = ∧
Il modusponens (assioma 7) colma una lacuna nella parte logica degli Arithmetices principia, nei quali infatti Peano non riesce a giustificare il passaggio ...
Leggi Tutto