Пређи на садржај

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

нема резимеа измене
:''За град у Израелу, погледајте [[Акко (град)]].''
 
У [[математика|математици]], [[филозофија|филозофији]] и [[логика|логици]], и на свим техничким пољима које од њих зависе, '''акко''' је најстандарднија скраћеница у српском језику за „ако и само ако“. Иако је „P„-{P}- акко Q“-{Q}-“ најчешћа варијанта, може се још и рећи „P„-{P}- jeје потребан и довољан услов за Q“-{Q}-“ или „P„-{P}- само уколико Q“-{Q}-“
 
== Дефиниција ==
'''Еквиваленција''' редом [[исказ|исказа]] -{p}- iи -{q}- jeје [[исказ]] "-{p}- акко -{q}-", у ознаци <math>p \Leftrightarrow q</math>, који је тачан ако и само ако су или оба исказа тачна или оба исказа нетачна.
 
== Нотација ==
 
== Доказивање ==
Најчешће коришћено доказивање да је „P„-{P}- акко Q“-{Q}-“ је околним путем, тј доказивањем да „је -{P}- ако Q“-{Q}-“ и да „је -{Q}- ако P“-{P}-“. Доказивање ова два пара је и најлогичнији поредак, јер је (углавном) тешко доказати истовремено овај двосмерни израз. Још један начин би био доказати [[дисјункција|дисјункцију]], тј. „(-{P}- и -{Q}-) или (не -{P}- и не -{Q}-)“.
 
== Порекло скраћенице ==