Lógica/Cálculo Proposicional Clássico/Cálculo de Sequêntes: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Desfeita a edição 158388 de Dante Cardoso Pinto de Almeida (Usuário Discussão:Dante Cardoso Pinto de Almeida) |
m Desfeita a edição 169344 de 200.215.222.195 (Usuário Discussão:200.215.222.195) |
||
Linha 132:
</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}}
| |||