Pregunta: Para cada una de las siguientes oraciones, dé una interpretación lógica que haga que esa oración sea falsa y las otras dos oraciones sean verdaderas: (a) ∀x∀y∀z [ ( PAGS ( x , y ) ∧ PAGS ( y , z )) ⊃ PAGS ( x , z ) ] ; (b) ∀x∀y [ ( PAGS ( x , y ) ∧ PAGS ( y , x )) ⊃ ( x = y ) ] ; (c) ∀x∀y [ PAGS ( un , y ) ⊃ PAGS ( X , segundo ) ] . No veo cómo b & c pueden

Para cada una de las siguientes oraciones, dé una interpretación lógica que haga que esa oración sea falsa y las otras dos oraciones sean verdaderas:

(a) ∀x∀y∀z [ ( PAGS ( x , y ) ∧ PAGS ( y , z )) ⊃ PAGS ( x , z ) ] ;

(b) ∀x∀y [ ( PAGS ( x , y ) ∧ PAGS ( y , x )) ⊃ ( x = y ) ] ;

(c) ∀x∀y [ PAGS ( un , y ) ⊃ PAGS ( X , segundo ) ] .

No veo cómo b & c pueden ser verdaderos, pero a sería falso. Parece que si a es falso, entonces b & c serían falsos....