Esagono logico: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 23:
:(∃x)(Mx ∧ Wx)
La proposizione '''O''' può essere interpretata come "
:(∃x)(Mx ∧ ¬Wx) ∨ ¬(∃x)(Mx)
| |||
Nessun oggetto della modifica |
|||
Riga 23:
:(∃x)(Mx ∧ Wx)
La proposizione '''O''' può essere interpretata come "
:(∃x)(Mx ∧ ¬Wx) ∨ ¬(∃x)(Mx)
| |||