Diferenças entre edições de "Lógica/Cálculo Proposicional Clássico/Cálculo de Sequêntes"

m
m (Desfeita a edição 169344 de 200.215.222.195 (Usuário Discussão:200.215.222.195))
</center>
 
 
<math> \neg A\lor \neg B\vdash \neg\left(A\land B\right) </math>
<center>
<math> \frac{\overline{A \vdash A}^{\left(Ax.\right)}}{\neg A,A,B \vdash }{\left(mon.,\neg\vdash\right)} \qquad \frac{\overline{B \vdash B}^{\left(Ax.\right)}}{\neg B, A,B \vdash }\left(mon., \neg\vdash\right)</math>
<math> \frac{\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad}{\neg A \lor \neg B , A,B \vdash }\left(\lor\vdash\right)</math>
<math> \frac{}{\neg A \lor \neg B , A\land B\vdash }\left(\land\vdash\right)</math>
<math> \frac{}{\neg A \lor \neg B \vdash \neg \left(A\land B\right)}\left(\vdash\neg\right)</math>
</center>
 
{{Esboço/Matemática}}
2 987

edições