Nel video di oggi costruiremo insieme, passo per passo, ii sistemi formali della logica modale minimale B e S5, presentandoli in termini di calcolo logico assiomatico.
Indice:
1) 00:01:02 Introduzione
2) 00:02:04 Sistema formale per la logica B
3) 00:04:55 Sistema formale per la logica B
4) 00:14:25 Esempi
5) 00:18:21 Considerazioni generali
6) 00:21:46 I nomi dei sistemi formali
_______________________________________________
micheletotta80@gmail.com
Abbonati a questo canale per accedere ai vantaggi:
https://www.youtube.com/channel/UCuttGnRDJ1FRSegTxzzV5gg/join
_______________________________________________
Audio intro:
The King – Grand Project
Proprietari dei contenuti: HAAWK for a 3rd Party
Tipo di contenuto: Audio
