Hello!
I need a help with some problem of discrete mathematics.
Can someone help me to solve this problem :
"We define the connective( / )by:
P/Q = not(P or Q)
Show that all proposition composed of P and Q can be only expressed thanks to this connective ( / )"