# Can you assist me with a few logic questions?

• October 8th 2008, 11:08 AM
Can you assist me with a few logic questions?
Okay, for my first question, I dont understand how the following statement is equal to the other:

the statement : (P-->Q)---> ~(~Q-->P)

is equal to: (P^Q) v (~Q ^~P)

How?
• October 8th 2008, 11:59 AM
Soroban

I suspect there's a typo . . .

Quote:

I dont understand how the following statement is equal to the other:

The statement: . $(P \to \:{\color{red}\sim}\,Q) \to \;\sim(\sim\!Q \to P)$

is equal to: . $(P \wedge Q) \vee (\sim\!Q \:\wedge \sim\!P)$

$p \to q \;\equiv \;\sim p \vee q$ . . I call it ADI (alternate definition of implication).

$\begin{array}{ccccc}
(P \to \:\sim Q) \; \to \; \sim(\sim\!Q \to P) & & \text{Given} \\ \\

(\sim\!P \:\vee \sim\!Q) \;\to \;\sim(Q \vee P) & & \text{ADI} \\ \\

(\sim\!P \:\vee \sim\!Q) \;\to \;(\sim\!Q \:\wedge \sim\!P) & & \text{DeMorgan} \\ \\

\sim(\sim\!P\:\vee \sim\!Q) \;\vee \;(\sim\!Q \:\wedge \sim\!P) & & \text{ADI} \\ \\

(P \wedge Q) \;\vee \;(\sim\!Q \:\wedge \sim\!P)& & \text{DeMorgan}

\end{array}$
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 4, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.7610282897949219, "perplexity": 2256.9688698085392}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-48/segments/1448398454553.89/warc/CC-MAIN-20151124205414-00237-ip-10-71-132-137.ec2.internal.warc.gz"}