Asserzione (logica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Sostituzione automatica (-\{\{[Ss]tub[ _]([^}]+)\}\} +{{S|\1}}) |
Nessun oggetto della modifica |
||
Riga 6:
<math> (\vdash p)\rightarrow(x \pmod 2 \equiv 0)</math>
[[Categoria:logica matematica]]
| |||