Math Is Fun Forum

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

You are not logged in.

#1 2020-06-22 08:37:47

Mknb
Guest

Discrete math

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.

#2 2020-06-22 19:26:20

Bob
Administrator
Registered: 2010-06-20
Posts: 10,053

Re: Discrete math

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 smile

Offline

Board footer

Powered by FluxBB