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

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

измена