↔⇔≡⟺
Symbolau rhesymegol i gynrychioli os yw
Mewn rhesymeg a meysydd eraill e.e. Mathemateg a athroniaeth, mae os a dim ond os (a dalfyrir yn os yw (Saesneg: iff) yn ddywediad amodol, rhesymegol rhwng gosodiadau.[1] Mae angen i'r ddau osodiad o amgylch y cymal hwn fodloni ei gilydd. Hynny yw, mae angen i'r ddau gymnal fod yn gywir; os yw'r naill neu llall yn anwir (anghywir) yna mae'r frawddeg gyfan yn anwir.