Pull da função de Relevancia para critério de demonstração #1

Merged
merged 4 commits into from Apr 2, 2012

2 participants

@terrematte

Pull da função de Relevancia para critério de demonstração

Patrick Terr... added some commits Apr 2, 2012
Patrick Terrematte Adicionando condição para relevancia: cada fórmula das premissas deve…
… partilhar ao menos um átomo com a

fórmula da conclusão
fef43b5
Patrick Terrematte Update generate.php a0e2caa
Patrick Terrematte Update vH/Connective.php 4cc0de4
Patrick Terrematte Update vH/Connective.php 11905d9
@dlight dlight merged commit 11905d9 into dlight:master Apr 2, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment