Como efetuar a leitura de p ^ q na logica

"p e q"

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}\)