Discrete Mathematics, prove the following:
( are arbitary formulas)
a) If is satisfiable, then is satisfiable or is satisfiable.
b) If is valid, so is valid, or is valid.
c) If is satisfiable, then is satisfiable and is satisfiable.
d) If is valid, so is valid and is valid.
e) The formula is valid.
f) Let be a theory. Then implies .
Thanks, will rate ASAP.
We were unable to transcribe this image
A V B
We were unable to transcribe this image
We were unable to transcribe this image
We were unable to transcribe this image
We were unable to transcribe this image
We were unable to transcribe this image
ÎÎÎ
We were unable to transcribe this image
We were unable to transcribe this image
We were unable to transcribe this image
We were unable to transcribe this image
We were unable to transcribe this image
( L âA)
We were unable to transcribe this image
We were unable to transcribe this image
We were unable to transcribe this image