raciocinio logico

Trata-se de uma disjunção inclusiva. Significa "um ou outro"; e, neste caso, sempre um será diferente do outro e gerará tautologia, pois um é o contrário do outro. Se P é F, ~P será V e vice-versa.

Nesse caso temos um argumento Modus Tollens.  Se um ângulo é inscrito em um semicírculo, então é um ângulo reto; esse ângulo não é um ângulo reto; portanto, esse ângulo não está inscrito em um semicírculo. Para premissas disjuntivas (empregando ∨, o que significa “ou ... ou”), os termos modus tollendo ponens e modus ponendo tollens são usados ​​para argumentos das formas A ∨ B; ∼ A, portanto , B e A ∨ B ; A, portanto , ∼ B (válido apenas para disjunção exclusiva : “ A ou B, mas não ambos”).

A regra do modus ponens é incorporada em praticamente todos os sistemas formais da lógica.

Sendo assim, yemos:

\(\begin{array}{lllllllllllllll} {qVr \to \neg p,p} \\ {(qVr)} \\ {(\;p \equiv p)} \end{array}\)