equivale

Verb

of a proposition transitive

(transitive, of a proposition) to be equivalent to.

Japanese Meaning

～と同値である / ～と一致する / ～に相当する

In this formal proof, the proposition A equivale to the negation of the negation of A.

この形式的な証明では、命題AはAの二重否定と同値である。

Sense（1）

(transitive, of a proposition) to be equivalent to.

We read b≡c as "b equivales c".

equivales

（ present singular third-person ）

equivaling

（ participle present ）

equivaled

（ participle past ）

equivaled

（ past ）