Elementary logic

Mariellow

New member
Joined
Mar 13, 2019
Messages
4
1. A → (B ▼ C)
2. E → (C ▼ P)
3. ~C


/∴ ~(B ▼ P) → ~(A ▼ E
Can somebody help me with the elementary logic, please. I need to prove the validity of the argument. Thank you!
 

Mariellow

New member
Joined
Mar 13, 2019
Messages
4
I have tried direct and indirect proof.
 

Dr.Peterson

Elite Member
Joined
Nov 12, 2017
Messages
3,004
You'll need to be much more specific. SHOW YOUR EFFORTS, not just a vague description. Maybe you were almost right, and we'd never know without seeing it!
 

pka

Elite Member
Joined
Jan 29, 2005
Messages
7,797
1. A → (B ▼ C)
2. E → (C ▼ P)
3. ~C


/∴ ~(B ▼ P) → ~(A ▼ E
Can somebody help me with the elementary logic, please. I need to prove the validity of the argument. Thank you!
I have worked on all things in symbolic logic since 1962 but I have never seen the connective ▼.
Please tell me what this symbol means in your work.
 

Mariellow

New member
Joined
Mar 13, 2019
Messages
4
A-> (BvC)
E -> (CvP)
~C therefore ~(BvP)->~(AvE)
Here it is sir. Sorry for the wrong symbol
 
Top