morfosintaxis

No podía salir, aunque encontrase la salida y estuviese delante de la salida.

Me tenía que quedar dentro del lugar.

[ [x] no podía salir , aunque A([x]) ].

A([x]) <==> ( p([x]) & q([x]) ).

p([x]) <==> [ [x] encontrase [a] ].

q([x]) <==> [ [x] estuviese delante de [a] ].

[ [x] se tenía que quedar dentro de [z] ].

No podía entrar, aunque encontrase la entrada y estuviese delante de la entrada.

Me tenía que quedar fuera del lugar.

[ [x] no podía entrar , aunque B([x]) ].

B([x]) <==> ( P([x]) & Q([x]) ).

P([x]) <==> [ [x] encontrase [b] ].

Q([x]) <==> [ [x] estuviese delante de [b] ].

[ [x] se tenía que quedar fuera de [z] ].

A([x]) = Complemento del Contra Modus Ponens.

B([x]) = Complemento del Contra Modus Ponens.