logische equivalentie

In de logica zijn twee uitspraken logisch equivalent als zij dezelfde logische betekenis hebben. Twee uitspraken zijn syntactisch equivalent als de ene uit de andere bewezen kan worden en omgekeerd. Twee uitspraken zijn semantisch equivalent als zij dezelfde waarheidswaarde hebben voor alle modellen. Als een logica gezond en volledig is komen syntactische en semantische equivalentie overeen.