Hola, quería preguntar porqué ⊥ no forma parte del PROP∧,¬.
Gracias
Hola Facundo, los únicos conectivos de PROP∧,¬ son ∧ y ¬.
⊥ es un conectivo, por lo que no debería aparecer en el conjunto.
Saludos
⊥ es un conectivo, por lo que no debería aparecer en el conjunto.
Saludos