Asserzione (logica): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
AushulzBot (discussione | contributi)
m Bot: Sistemo sintassi template Portale. Aggiungo: matematica. Tolgo: Matematica.
Riga 6:
 
<math> (\vdash p)\rightarrow(x \pmod 2 \equiv 0)</math>
{{Portale|matematica}}
 
[[Categoria:logicaLogica matematica]]