Question
a,b,c and please?
Show why the following "basic principles" of the standard operators hold: The basic property of Negation NEG: Gamma = phi just in case Gamma (or if and only if) Gamma, ~phi|=. The basic property of Conjunction CONJ: Gamma |= (phi& psi) just in case Gamma |= phi and Gamma|= psi. The basic property of Disjunction DISJ: Gamma, (phi v psi) |= just in case (or if and only if) Gamma, phi|= and Gamma, psi|=. The basic property of the Material Conditional COND: Gamma |= (phi rightarrow psi) just in case Gamma, phi |= psi
Explanation / Answer
a).Properties of Negatation:
b) property of conjunction:
c)Property of disjunction:
d) properties of material conditional: