From Wikipedia, the free encyclopedia
У математици, филозофији и логици, и на свим техничким пољима које од њих зависе, акко је најустаљенија скраћеница у српском језику за „ако и само ако“. Иако је „ акко “ најчешћи облик, може се још и рећи „ је потребан и довољан услов за “ или „ само уколико “.[1]
Еквиваленција редом исказа и је исказ " акко ", у ознаци , који је тачан ако и само ако су или оба исказа тачна или оба исказа нетачна.
Најчешће коришћено доказивање да је „ акко “ је околним путем, тј доказивањем да „је ако “ и да „је ако “. Доказивање ова два пара је и најлогичнији поредак, јер је (углавном) тешко доказати истовремено овај двосмерни израз. Још један начин би био доказати дисјункцију, тј. „( и ) или (не и не )“.
Скраћеница „“ (за енглески израз „“) се први пут појавила 1955. у књизи Џона Келија Општа топологија.
Разлика ће најједноставније бити показана на примеру.
Прва реченица нам говори да ће Петар јести пудинг од чоколаде, али, она нам нипошто не говори да он неће јести пудинг уколико је он од нпр. ваниле. У принципу, прва реченица нам не говори да ли ће Петар јести неку другу врсту пудинга, само да ће га јести уколико је од чоколаде.
Друга реченица нам јасно даје до знања да је једини пудинг који би Петар јео, онај од чоколаде (и ниједан други).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.