Temi e protagonisti della filosofia

LOGICA FORMALE 35: REGOLA DI ELIMINAZIONE DELL’ESISTENZIALE

LOGICA FORMALE 35: REGOLA DI ELIMINAZIONE DELL’ESISTENZIALE

Ago 01

[ad#Ret Big] E mentre voi partite per le ferie, e mentre sono rimasti solo gli acari e pochi computer senzienti a dileggiare i miei post, stoico e pazzo oggi insisto con questo articolo che rincara la dose e vi toglierà il fiato ai neuroni per quanto è secco e spudoratamente logico. Ergo, senza preamboli artificiosi, la regola per l’eliminazione del quantificatore esistenziale, “E∃” per...

LOGICA FORMALE 34: REGOLA DI INTRODUZIONE DELL’UNIVERSALE

LOGICA FORMALE 34: REGOLA DI INTRODUZIONE DELL’UNIVERSALE

Lug 26

E stasera, in ritardo, enunciamo con solerzia la sagace regola di introduzione dell’universale “I∀” che serve palesemente per derivare, come conclusione, una formula universale. Questa regola agisce come il nostro maestro delle medie quando ci diceva, ad esempio, che tutti i triangoli hanno una certa proprietà esemplificata dal triangolo con vertici “A, B, C,” illustrato alla...

LOGICA FORMALE 33: ELIMINAZIONE DELL’UNIVERSALE

LOGICA FORMALE 33: ELIMINAZIONE DELL’UNIVERSALE

Lug 18

[ad#Ret Big] Ed è solo in virtù della grandissima mole di richieste che oggi trattiamo la regola di eliminazione dell’universale, ossia: “E∀”. In alternativa potremmo anche mandare l’ultimo video di Rihanna, ma purtroppo il televoto ha decretato per “E∀”, e come sapete, io non mi pronuncio di fronte alla volontà popolare. Per spiegare l’eliminazione dell’universale ci sarà...

Teorema di correttezza in K

Teorema di correttezza in K

Lug 17

[ad#Ret Big] Dall’ultimo post sulle leggi modali minimali abbiamo in qualche modo avuto gratis la dimostrazione del teorema di correttezza in K. Il teorema di correttezza dice che se una formula è dimostrabile allora è vera. In simboli: Se ├ α allora ╞ α Si dimostra per induzione sulla lunghezza della dimostrazione. Il primo passo è supporre che la lunghezza della dimostrazione sia...

LOGICA FORMALE 32: INTRODUZIONE DI TEOREMA

LOGICA FORMALE 32: INTRODUZIONE DI TEOREMA

Lug 11

[ad#Ret Big] Oggi, brindo alla vita che costringendomi a studiare elettronica secondo l’equazione “Hegel+elettronica=kabooooooom!!!!”, mi fa notare come le porte logiche dei circuiti elettronici rispondano, guardacaso, a leggi molto simili ai temi trattati finora nei miei post. Finalmente, dopo molta pesantezza trattiamo una formuletta veloce che però ci dà una visione...

LOGICA FORMALE 31: ALTRI TEOREMI CON “DN”

LOGICA FORMALE 31: ALTRI TEOREMI CON “DN”

Lug 04

[ad#Ret Big] Salve, oggi facciamo apparentemente poco, velocemente, che nessuno ci legge e non si capiscono i particolari. E’ questo il modo migliore per fare una finanziaria come ci hanno abituati qui in Italia. Tanto meglio i miei post di logica andranno avanti così, come i partiti, con maggiori dosi di circo, slogan, dettagli pruriginosi e inutili ma, soprattutto, nascondendo ciò che si...