Have you ever had trouble with editing your MCW document while on the go? Well, DocHub has a great solution for that! Access this cloud editor from any internet-connected device. It allows users to Negate phrase in MCW files rapidly and anytime needed.
DocHub will surprise you with what it offers. It has powerful capabilities to make any changes you want to your paperwork. And its interface is so straightforward that the entire process from start to finish will take you only a few clicks.
When you finish modifying and sharing, you can save your updated MCW file on your device or to the cloud as it is or with an Audit Trail that includes all changes applied. Also, you can save your paperwork in its initial version or transform it into a multi-use template - complete any document management task from anywhere with DocHub. Subscribe today!
all right in this video were going to translate some sentences into quantificational logic and then were going to negate some quantificational logic statements and reduce them as far as we can okay so first question were going to translate these so our first question is every student is majoring in math or computer science so Im not going to define anything explicitly but I just want to show you the process here so first we have every student so we have for all X if X is a student so recall that s of X then that student is going to major in math or major in computer science so this means that if X is a student then X majors in math or X majors in computer science so here we have it for all X s of X arrow MX for C X for all X if X is a student that X is a math major or X is a computer science major ok second question for all real x and y if X or sorry X is greater than Y if x squared is greater than Y squared so for all real x and y so this is for all X in the real numbers for all Y