@online{huang2024deduzione,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Deduzione naturale},
  date         = {2024-08-28},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/deduzione-naturale/},
  langid       = {english},
  abstract     = {La deduzione naturale è un possibile sistema deduttivo che utilizza il linguaggio naturale per questo motivo più beginner friendly. Lo facciamo prima per la Logica Proposizionale che è molto facile Il sistema deduttivo \# Poniamo l'esistenza di Assiomi (formule in una certa logica}
}