Re: Ejercicio 11 parte b de Guillermo Calderon - InCo - lunes, 1 de julio de 2024, 11:41 Número de respuestas: 0 En este ejercicio se admiten consideraciones semánticas. Se puede probar usando corrección, probando que ⊭ ¬(∀x)(∀y)P(x,y) → (∀x)(∃y)¬P(x,y) Enlace permanente Mostrar mensaje anterior Responder