# Equivalent formulas

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
I'm not exactly sure how to lay this out, but this is based on page 32 in[1]

## Statement/Definition

There's something in the second to last paragraph of page 32 in[1]

## Examples

Recall [ilmath]\models A[/ilmath] denotes that a formula is valid.

1. [ilmath]\models(A\wedge B)\leftrightarrow\neg(\neg A\vee \neg B)[/ilmath]
2. [ilmath]\models(A\rightarrow B)\leftrightarrow\neg A\vee B[/ilmath] (see negation of implies)
3. [ilmath]\models(A\leftrightarrow B)\leftrightarrow\neg(\neg(\neg A\vee B)\vee\neg(\neg B\vee A))[/ilmath], not even sure I've written this down correctly, never used it
4. [ilmath]\models(\forall x A)\leftrightarrow\neg(\exists x\neg A)[/ilmath] (would be good one to prove!)