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

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