Equisatisfiability
id:
equisatisfiability-321-4482683
title:
Equisatisfiability
text:
In mathematical 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 both are not. Equisatisfiable formulae may disagree, however, for a particular choice of variables. As a result, equisatisfiability is different from logical equivalence, as two equivalent formulae always have the same models. Whereas within equisatisfiable formulae, only the primitive proposition the formula im
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Equisatisfiability
date created:
date modified:
2024-03-15T23:00:16Z
main entity:
{"identifier":"Q2402183","url":"https://www.wikidata.org/entity/Q2402183"}
image:
fields total:
13
integrity:
13