V logice a souvisejících oborech, jako je matematika a filozofie, pokud a pouze pokud (zkrácený iff) je bikondiální logický vztah mezi výroky. V tom, že je bikondiální, může být pojivo spojeno se standardním materiálem podmíněným ("pouze pokud", rovná se "if ... then") v kombinaci s jeho reverzní ("if"); odtud jméno. Výsledkem je, že pravdivost jednoho z připojených příkazů vyžaduje pravdu druhého (tj. Buď obě tvrzení jsou pravdivé, nebo oba jsou nepravdivé). Je kontroverzní, zda takto definovaná spojnice je řádně vykreslena anglickým jazykem "pokud a pouze pokud" s jeho již existujícím významem. Není nic, co by mohlo zabránit tomu, aby jsme mohli tuto spojitost přečíst jako "pouze pokud a kdy", ačkoli to může vést ke zmatku. V písemné podobě jsou obecně používané fráze s diskutovatelnou vlastností jako alternativa k P "pokud a pouze pokud" Q obsahuje Q je nutné a postačující pro P, P je ekvivalentní (nebo materiálně ekvivalentní) s Q (srovnáme materiální implikace), P přesně pokud Q, P přesně (nebo přesně), když Q, P přesně v případě Q a P jen v případě Q. Mnoho autorů považuje "iff" za nevhodnou ve formálním psaní; jiní ji využívají svobodně. V logických vzorcích se místo těchto frází používají logické symboly; viz diskusi o notaci. [Pravidlo dedukce][Logika][Filozofie] |