Princípio da resolução: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Bot: A migrar 12 interwikis, agora providenciados por Wikidata em d:Q1051925 |
|||
Linha 153:
<math>\frac{\{P\} \qquad \{\neg P\}}{\bot}</math>
Portanto concluímos que
==== Exemplo 2 ====
| |||