17.163
измене
(не бих рекао да је госн. Кели смишљао скраћенице за српски језик) |
Нема описа измене |
||
== Доказивање ==
Најчешће коришћено доказивање да је „-{P}- акко -{Q}-“ је околним путем, тј доказивањем да „је -{P}- ако -{Q}-“ и да „је -{Q}- ако -{P}-“. Доказивање ова два пара је и најлогичнији поредак, јер је (углавном) тешко доказати истовремено овај двосмерни израз. Још један начин би био доказати [[дисјункција|дисјункцију]], тј. „(-{P}- и -{Q}-) или (не -{P}- и не -{Q}-)“.
== Порекло скраћенице ==
Скраћеница „-{iff}-“ (за [[енглески језик|енглески]] израз „-{if and only if}-“) се први пут појавила [[1955]]. у књизи [[Џон Кели|Џона Келија]] <cite>Општа топологија</cite>.
== Разлике између „ако“ и „акко“ ==
|