Asserzione (logica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m Bot: Sostituzione automatica (-\{\{[Ss]tub[ _]([^}]+)\}\} +{{S|\1}}) |
||
Riga 1:
{{
L''''asserzione logica''' è una dichiarazione che afferma che una certa premessa è vera. È equivalente ad un [[sequente]] senza [[anticedente]].
| |||