Menu Close

Question-201308




Question Number 201308 by Mingma last updated on 04/Dec/23
Commented by aleks041103 last updated on 04/Dec/23
−Q⇔−Q  Q⇔−(−Q)  P⇒Q⇔−(−Q)  ∴P⇒−(Q)
$$−{Q}\Leftrightarrow−{Q} \\ $$$${Q}\Leftrightarrow−\left(−{Q}\right) \\ $$$${P}\Rightarrow{Q}\Leftrightarrow−\left(−{Q}\right) \\ $$$$\therefore{P}\Rightarrow−\left({Q}\right) \\ $$
Commented by Mingma last updated on 04/Dec/23
use the natural deduction rules
Answered by aleks041103 last updated on 04/Dec/23
This sign ⊃ is from set theory.  What is the connection to logic?
$${This}\:{sign}\:\supset\:{is}\:{from}\:{set}\:{theory}. \\ $$$${What}\:{is}\:{the}\:{connection}\:{to}\:{logic}? \\ $$
Commented by Mingma last updated on 04/Dec/23
implication sign

Leave a Reply

Your email address will not be published. Required fields are marked *