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

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

 

== Нотација ==

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

 

== Доказивање ==

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

 

== Порекло скраћенице ==

 

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

Разлика ће најједноставније бити показана на примеру.

 

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

 

[[de:Logische Äquivalenz]]

[[fr:Ssi]]

[[is:Eff]]