diddwytho be

Ystyr diddwytho yw cyrraedd casgliad neu ffaith trwy ymresymiad mathemategol. Rydym yn gwneud hynny trwy ddefnyddio gwybodaeth a ffeithiau sydd ar gael yn barod.

Dyma enghraifft o ddiddwythiad algebraidd:

$$x\Rightarrow <!--\; \Rightarrow \; -->y$$

$$y\Rightarrow <!--\; \Rightarrow \; -->z$$

$$\mathrm{felly}x\Rightarrow <!--\; \Rightarrow \; -->z$$