Equivalencia entre Conectivos

Equivalencia entre Conectivos

de Marcelo Leonardo Torterolo Retta -
Número de respuestas: 3

Hola,

Asi como en el teórico tenemos la siguiente equivalencia: ( \alpha \land \lnot \alpha ) eq \bot

Me di cuenta, también de la siguiente: ( \alpha \lor \lnot \alpha ) eq \lnot\bot

Mi consulta es: ésta última, si la quiero usar en una prueba, previamente la debo demostrar? O la podría usar sin la demostración?


Desde ya muchas gracias.

Saludos.
En respuesta a Marcelo Leonardo Torterolo Retta

Re: Equivalencia entre Conectivos

de Fernando Carpani -

Hola. Esa debería estar...

Esa en particular, si.

Pero no cualquier equivalencia se puede usar sin demostración.

Esa es simple de demostrar.

Cómo sería?

Saludos FDO.

En respuesta a Fernando Carpani

Re: Equivalencia entre Conectivos

de Marcelo Leonardo Torterolo Retta -
En las diapositivas, explicitamente no la vi.

Pero por una sugerencia de Guillermo pude llegar a la demostración utilizando:

  • (φ ∧ ⊤) eq φ
  • (φ ∨ ⊤) eq ⊤
Nuevamente, gracias.

Saludos