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

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