Category: Updates

Quantified Proposition

I've been trying to translate the following sentences into quantified propositions by making sure I state all propositional functions that I use and ...

Proof of the Crossbar theorem

A teacher asked me to prove the well known Crossbar theorem. I tried it in the following way:- Given: If $D$ is in the interior of $\triangle ABC$, then p...