4
$\begingroup$

Here's the picture of the question: enter image description here

How does it go from p v ~q to ~p -> ~q?

  • 1
    one way to convince yourself of this is to construct truth tables for both statements and check if theyre equivalent2012-12-16

3 Answers 3

11

$p\lor \lnot q$ $ \equiv \lnot\lnot p \lor \lnot q$ $\equiv \lnot p \rightarrow \lnot q $


This is simply applying the rule that $a \rightarrow b \;\equiv \; \lnot a \lor b$,

but in reverse: $\lnot a \lor b \equiv a\rightarrow b$.

In this case, $a$ happens to be $\lnot p$, and $b$ happens to be $\lnot q$.

To double-check, and convince yourself, truth-tables come in handy:

enter image description here


One last note:

$(a \rightarrow b) \equiv (\lnot b \rightarrow \lnot a)$

The right-hand side is called the contrapositve of the left-hand side of the equivalence; they are equivalent expressions.

Knowing this, one can conclude, directly, that the converse of $p \rightarrow q$ is equivalent to the inverse of $p \rightarrow q$: $(q\rightarrow p) \equiv (\lnot p \rightarrow \lnot q)$.

  • 0
    @amWhy: How did you make that table? Word? Excel? or ?? +)2013-08-13
2

An easy way to remember what $p \Rightarrow q$ means is this: if the implication is true, either the conclusion is true, or the premise is false. That is, $p\Rightarrow q \equiv \lnot p \lor q$ So $p \lor \lnot q \equiv \lnot \lnot p \lor \lnot q \equiv \lnot p \Rightarrow \lnot q$

1

We'd half to know more about this particular text to know how the author(s) did this. That said, following for example Lukasiewicz's introductory text on mathematical logic, you can define (p$\lor$q) as ($\lnot$p$\implies$ q), since they are logically equivalent... (p$\lor$q)$\equiv$($\lnot$p$\implies$ q).

Then from that equivalence just uniformly substitute $\lnot$q for q, and you have (p$\lor$\lnot$q)$\equiv$($\lnot$p$\implies$\lnot$q).

  • 0
    Cpq==ANpq AND Apq==CNpq, with C as the material conditional, A as alternation, and N as negation (or more shortly... C==AN, A==CN). In other words, you can define alternation and the material conditional by Xpq==YNpq, where X does not equal Y, and X and Y belong to {C, A}.2012-12-17