Implicazione logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m a capo in eccesso |
m Corretto: "invece" |
||
Riga 71:
e quindi per la (i) a <math> \neg \mathcal B \rightarrow \neg \mathcal A </math> (iv), questa forma viene chiamata
'''contronominale''' della <math> \mathcal A \rightarrow \mathcal B </math> ed è a questa equivalente,
e può essere usata nella dimostrazione dei teoremi
Tornando all'esempio in linguaggio naturale potremo scrivere la forma contronominale come:
<div style="text-align:center;" id="mwYg">
| |||