Elementary logic: ...therefore, ~(B ▼ P) → ~(A ▼ E

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!
 

mmm4444bot

Super Moderator
Staff member
Joined
Oct 6, 2005
Messages
10,273
What have you tried or thought about so far? Please show your efforts.

Read the forum's submission guidelines, also. 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,595
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
8,102
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
 

Mariellow

New member
Joined
Mar 13, 2019
Messages
4
I don't know whats the next step to do. Sorry
 

Attachments

Top