title: Asserzione (logica)
text: # Asserzione (logica)
  
  L'asserzione logica è una dichiarazione che afferma che una certa premessa è vera. È equivalente ad un sequente senza antecedente.
  
  Ad esempio, data la proposizione p = "x è un numero pari", la seguente implicazione è vera:
  
  $(\vdash p)\rightarrow (x{\pmod {2}}\equiv 0)$
  
  