Also known as satisfiable equivalence
In mathematical logic (a subtopic within the field of formal logic), two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or neither is. The truth values of two equisatisfiable formulae may nevertheless disagree for a particular assignment of variables. As a result, equisatisfiability differs from logical equivalence, since two equivalent formulae always have the same models, whereas equisatisfiable ones need only share satisfiability status. More formally, the equisatisfiability meta fo
Em Lógica, duas fórmulas são equissatisfatíveis se a primeira fórmula é satisfatível toda vez que a segunda fórmula também for e vice versa. Em outras palavras: ou as duas fórmulas são satisfatíveis ou nenhuma é. Duas fórmulas equissatisfatíveis podem ter diferentes modelos, desde que nenhuma delas ou ambos tenham algum modelo. Como resultado, temos que a equissatisfatibilidade é diferente da equivalência lógica, pois duas fórmulas logicamente equivalentes sempre possuem os mesmos modelos. Geralmente, o conceito de equissatisfatibilidade é utilizado na conversão de fórmulas, ou seja, pode se afirmar que uma conversão está correta se a fórmula original e a resultante são equissatisfatíveis. Exemplos de conversões envolvendo esse conceito são a Skolemização e algumas transformações para a forma normal conjuntiva.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).