In an indirect proof, is it possible to reject the assumption based on contradiction of a premise?

pigskiniv
2022-08-12
Answered

In an indirect proof, is it possible to reject the assumption based on contradiction of a premise?

You can still ask an expert for help

asked 2022-08-06

$A\mathrm{\setminus}B=B\mathrm{\setminus}A\u27faA=B$

can we actually prove it without using contradiction?

can we actually prove it without using contradiction?

asked 2022-07-19

$\mathrm{\forall}k,l\in \mathbb{Z}\phantom{\rule{thinmathspace}{0ex}},\phantom{\rule{thinmathspace}{0ex}}kl\text{is even}\phantom{\rule{thickmathspace}{0ex}}\u27f9\phantom{\rule{thickmathspace}{0ex}}k\text{is even}\vee l\text{is even}.$

Suppose $k$ is odd and $l$ is odd, then there exist integers $a$ and $b$ such that $k=2a+1$, so $kl=(ab??)$

Suppose $k$ is odd and $l$ is odd, then there exist integers $a$ and $b$ such that $k=2a+1$, so $kl=(ab??)$

asked 2022-07-17

How to solve this type of sum using indirect proof. For any real number $x$ , if ${x}^{3}+2x+33\ne 0$ , then $x+3\ne 0$

asked 2022-08-11

Show that

$T(X)=(R,V)=({X}_{(n)}-{X}_{(1)},\frac{{X}_{(n)}+{X}_{(1)}}{2})$

is a minimal sufficient statistic for $\theta $.

$T(X)=(R,V)=({X}_{(n)}-{X}_{(1)},\frac{{X}_{(n)}+{X}_{(1)}}{2})$

is a minimal sufficient statistic for $\theta $.

asked 2022-08-31

Constructing Logical Proofs

$A/\therefore B\to (\neg A\to C)$

$A/\therefore B\to (\neg A\to C)$

asked 2022-08-17

Is there an intuitionist (i.e., constructive) proof of the infinitude of primes?

asked 2022-08-13

Suppose $R$ is a partial order on a set $A$, and $B\subseteq A$.

Prove that, if $R$ is a total order and $b$ is a minimal element of $B$, then $b$ is the smallest element of $B$.

Prove that, if $R$ is a total order and $b$ is a minimal element of $B$, then $b$ is the smallest element of $B$.