En la lógica matemática, la simplificación es una discusión simple válida de la forma:
A y B del
, por lo tanto una notación del operador lógico : $A\; \backslash \; y\; B\; del$
\ vdash A o $A\; \backslash \; y\; B\; del\; \backslash \; vdash\; B$ La discusión tiene una premisa, a saber una conjunción, y una utiliza a menudo la simplificación en discusiones más largas para hacer uno de las oraciones conjuntivas que la discusión se puede utilizar para derivar el otro. Un ejemplo en el inglés: que está lloviendo y está vertiendo.
por lo tanto que está lloviendo.

ogic-trozo

.