Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ π -¹ ² ³ °

You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

**Mknb****Guest**

Solving this type of questions any method:

Question) Prove the validity of the sequent

a) -p -> p |- p

b) -p |- p->q

kindly share book or solution.

**Bob****Administrator**- Registered: 2010-06-20
- Posts: 8,914

hi Mknb

Welcome to the forum.

I would like to help but I cannot understand this notation. Where did it come from?

I've search on-line and found 4 sites that list symbols to use and I still cannot find yours.

Have a look here:

https://en.wikipedia.org/wiki/List_of_logic_symbols

and then, please, re-write the question using these.

Thanks,

Bob

Children are not defined by school ...........The Fonz

You cannot teach a man anything; you can only help him find it within himself..........Galileo Galilei

Sometimes I deliberately make mistakes, just to test you! …………….Bob

Offline

Pages: **1**