Ако и само ако — разлика између измена

У [[математика|математици]], [[филозофија|филозофији]] и [[логика|логици]], и на свим техничким пољима које од њих зависе, '''акко''' је најстандарднија скраћеница за »ако„ако и само ако«ако“. Иако је »P„P акко Q«Q“ најчешћа варијанта, може се још и рећи »P„P je потребан и довољан услов за Q«Q“ или »P„P само уколико Q«Q“

Најчешће коришћени симболи су "„↔"“, "„⇔"“ и "„≡"“.

Најчешће коришћено доказивање да је »P„P акко Q«Q“ је околним путем, тј доказивањем да »је„је P ако Q«Q“ и да »је„је Q ако P«P“. Доказивање ова два пара је и најлогичнији поредак, јер је (углавном) тешко доказати истовремено овај двосмерни израз. Још један начин би био доказати [[дисјункција|дисјункцију]], тј. »„(P и Q) или (не P и не Q)«“.

Скраћеница се први пут појавила [[1955]]. у књизи Џона Келија <cite>Генерална топологија</cite>.

== Разлике између »ако«„ако“ и »акко«„акко“ ==

Друга реченица нам јасно даје до знања да је ЈЕДИНИ'''једини''' пудинг који би Петар јео, онај од чоколаде (и ниједан други).