Writing a denial of proposition? How would I write a denial of the following proposition. Neither $z<s$ nor $z\le t$ is true. (Assume z,t and s are natural numbers) I think $P=z<s$ is not true $Q=z\le t$ is not true And neither can be seen as both so that would and I think. $\neg (P\wedge Q)$ So then would be $\neg P \vee \neg Q$ As the denials?

That is fine, but you might want to translate back:

$\lnot P \lor \lnot Q$ means **not** ($\underbrace{\lnot (z\lt s)}_P)$), or **not** $(\underbrace{\lnot (z\leq t)}_Q)$, in other words, $z \lt s$ or $z \leq t$