¿Qué significa estés símbolo en lógica ⊢?
Me mandaron una ejer en logica P→q rv¬p ⊢p→(q&r) pero no se que significa este simbolo ⊢
1 respuesta
Respuesta
1
Aarom, en lógica se definen las siguientes operaciones
- "Y"
- "O"
- "NO
Que son las operaciones básicas, a partir de esas 3 operaciones se pueden definir otras dos que son
- "IMPLICACIÓN" (entonces)
- "DOBLE IMPLICACIÓN" (si y solo si)
Pero el tema de los símbolos deberías verlo con quien te envió el ejercicio, normalmente te diría que parece el de implicación, pero ya tienes la flecha también, así que hay que ver que es lo que quiso representar con ese símbolo.
Salu2
Lo vi, y me dio la misma impresion: Que el que se lo envio, se olvido de ponerle la "cabecita de la flecha" - Boris Berkov
Coincido, porque yo donde lo vi usado es como implicación, pero en este caso también tiene la flecha, así que no tendría mucho sentido. Salvo que el que lo envió de alguna manera quiere separar una implicación "común" de lo que sería un "por lo tanto" para indicar consecuencia (en lo particular creo que es una pavada, pero ...) - Anónimo