@online{huang2024connettivi,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Connettivi Logici, correttezza, variabili},
  date         = {2024-04-08},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/connettivi-logici-correttezza-variabili/},
  langid       = {italian},
  abstract     = {8.1 Dimostrazione teorema invarianza \# 8.1.1 Introduzione \# Basi: Due proposizioni sono equivalenti quando valgono sugli stessi mondi. quindi ∀ v , [ [ F ] ] v ≡ [ [ G ] ] v . Vogliamo dire che dati un buco presente in una proposizione, queste valgono sempre, sono in effetti equi}
}