Os ac yn unig os
From Wikipedia, the free encyclopedia
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.
↔⇔≡⟺
Symbolau rhesymegol i gynrychioli os yw