You are not logged in.
Pages: 1
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.
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