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

нема резимеа измене
м (наводници, ситно сређивање)
У [[математика|математици]], [[филозофија|филозофији]] и [[логика|логици]], и на свим техничким пољима које од њих зависе, '''акко''' је најстандарднија скраћеница за „ако и само ако“. Иако је „P акко Q“ најчешћа варијанта, може се још и рећи „P je потребан и довољан услов за Q“ или „P само уколико Q“
 
 
== Нотација ==
 
Најчешће коришћени симболи су „↔“, „⇔“ и „≡“.
 
 
== Доказивање ==
 
Најчешће коришћено доказивање да је „P акко Q“ је околним путем, тј доказивањем да „је P ако Q“ и да „је Q ако P“. Доказивање ова два пара је и најлогичнији поредак, јер је (углавном) тешко доказати истовремено овај двосмерни израз. Још један начин би био доказати [[дисјункција|дисјункцију]], тј. „(P и Q) или (не P и не Q)“.
 
 
== Порекло скраћенице ==
Скраћеница се први пут појавила [[1955]]. у књизи [[Џон Кели|Џона Келија]] <cite>Генерална топологија</cite>.
 
Скраћеница се први пут појавила [[1955]]. у књизи Џона Келија <cite>Генерална топологија</cite>.
 
 
== Разлике између „ако“ и „акко“ ==
 
Разлика ће најједноставније бити показана на примеру.
 
Друга реченица нам јасно даје до знања да је '''једини''' пудинг који би Петар јео, онај од чоколаде (и ниједан други).
 
[[Категорија:математика]]
[[en:Iff]]
[[Категорија:филозофија]]
[[Категорија:логика]]
 
[[de:Logische Äquivalenz]]
[[en:Iff]]
[[fr:Ssi]]
[[is:Eff]]