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
Linha 38:
* <math>(\vdash \lor): \frac{\Gamma \vdash \varphi , \psi,\Delta}{\Gamma \vdash \varphi \lor \psi, \Delta}</math>
<br>
* <math>(\lor \vdash): \frac{\Gamma, \varphi \vdash \Delta \qquad \Gamma, \psi\vdash \Delta}{\Gamma, \
<br>
* <math>(\vdash \neg): \frac{\Gamma, \varphi \vdash \Delta}{\Gamma \vdash \neg \varphi, \Delta}</math>
|