... に成り立たない¹

古い言い回しをすると 「$p$ と $q$ が同時に成り立つとき、そのときに限り成り立つ」となります。

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... と書くことが出来ます(かっこが全部省略できました)²

4, 5については、

1. $\THEN$, $\Iff$
2. $\equiv$

としている人もあるようです。

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.