Teño unha pregunta:
Se temos, por exemplo:
-1. ¬(¬p^¬q)
2.¬¬(¬¬p ou ¬¬q) Def. Dixuntor 1
3. p ou q E¬¬ 2
Podese saltar o paso da eliminacion da dobre negacion(paso 2) e poñelo directamente asi ?
-1. ¬(¬p^¬q)
2. p ou q Def. Dixuntor 1
Jorge Moiño Vaamonde Nº 21 1º BACH C
Posible eliminacion do paso da dobre negacion nas definicions
por Usuario eliminado -
Número de respostas: 1