Question and Answers Forum

All Questions      Topic List

Others Questions

Previous in All Question      Next in All Question      

Previous in Others      Next in Others      

Question Number 201308 by Mingma last updated on 04/Dec/23

Commented by aleks041103 last updated on 04/Dec/23

$$-Q\iff -Q$$$$Q\iff -(-Q)$$$$P\Rightarrow Q\iff -(-Q)$$$$\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

$$Thissign\supset isfromsettheory.$$$$Whatistheconnectiontologic?$$

Commented by Mingma last updated on 04/Dec/23

implication sign

Terms of Service

Privacy Policy

Contact: info@tinkutara.com