Eff

Eff þýðir í stærðfræði, heimspeki og rökfræði „ef og aðeins ef“, annað orðalag er „þá og því aðeins að“ (skammstafað sem þ.þ.a.a.).

Séu P og Q tvær rökyrðingar, þá er hægt að segja að P gildi ef og aðeins ef að Q gildir — það er að segja, P gildir ef Q gildir, og Q gildir ef P gildir.

Dæmi:

${\displaystyle x+5=10{\mbox{ eff }x=5}$

eða

${\displaystyle x+5=10}$ ef og aðeins ef ${\displaystyle x=5}$

Einnig er notað:

${\displaystyle x+5=10\iff x=5}$

Sannleikstafla fyrir p ↔ q er:

  Þessi stærðfræðigrein er stubbur. Þú getur hjálpað til með því að bæta við greinina.