En este caso, ahora podemos escribir la oración abierta⌝(x3≥x2) como (x3<x2). (Es decir, la negación de “es mayor o igual a” es “es menor que”.) Por lo que obtenemos lo sigu...En este caso, ahora podemos escribir la oración abierta⌝(x3≥x2) como (x3<x2). (Es decir, la negación de “es mayor o igual a” es “es menor que”.) Por lo que obtenemos lo siguiente:
