With DocHub, you can quickly negate question in DITA from anywhere. Enjoy capabilities like drag and drop fields, editable textual content, images, and comments. You can collect electronic signatures safely, include an additional layer of protection with an Encrypted Folder, and work together with teammates in real-time through your DocHub account. Make changes to your DITA files online without downloading, scanning, printing or mailing anything.
You can find your edited record in the Documents tab of your account. Edit, submit, print out, or convert your document into a reusable template. With so many robust features, it’s simple to enjoy effortless document editing and management with DocHub.
now letamp;#39;s investigate what it means to negate a conditional so in this case I have this conditional P implies Q and then the question is what happens if Iamp;#39;m going to negate that particular conditional now what Iamp;#39;m going to do is Iamp;#39;m going to use just a bunch of logical equivalences here Iamp;#39;m going to get some result and then weamp;#39;re going to see whether that result makes sense to us so the first thing that I can say is that we know that that I can take this P implies Q and weamp;#39;ve just shown that this is logically equivalent to Iamp;#39;m not changing the knot here at all but we know that the inside the conditional is logically equivalent to not P or Q so that was one step and now I have a disjunct of an or statement and Center than a knot in front of it and we know that one of de Morganamp;#39;s laws applies for a scenario like this that I can take them not and I can distribute it through but it does two things it takes the order to
