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ð“ Snið:Skammstsem.

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:

$x+5=10\text{ eff }x=5$

eða

$x+5=10$ ef og aðeins ef $x=5$

Einnig er notað:

$x+5=10⟺x=5$

Sannleikstafla fyrir p ↔ q er:

Eff

p	q	p ↔ q
S	S	S
S	F	F
F	S	F
F	F	S

Snið:Stubbur