Eliminação da disjunção: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 17:
== Notação formal ==
A regra da ''Eliminação da disjunção'' pode ser escrita na notação de [[
: <math>(P \to Q), (R \to Q), (P \or R) \vdash Q</math>
| |||