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

[Mariellow]

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]

What have you tried or thought about so far? Please show your efforts.

Read the forum's submission guidelines, also. Thank you!

?

 

[Mariellow]

I have tried direct and indirect proof.

 

[Dr.Peterson]

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]

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]

A-> (BvC)
E -> (CvP)
~C therefore ~(BvP)->~(AvE)
Here it is sir. Sorry for the wrong symbol

 

[Mariellow]

I don't know whats the next step to do. Sorry