Akko: razlika između inačica
Nema sažetka uređivanja |
m r2.7.3) (robot Uklanja: de, fr, no Mijenja: sr |
||
Redak 29: | Redak 29: | ||
[[bg:Тогава и само тогава, когато]] |
[[bg:Тогава и само тогава, когато]] |
||
[[ca:Si i només si]] |
[[ca:Si i només si]] |
||
[[de:Logische Äquivalenz]] |
|||
[[da:Biimplikation]] |
[[da:Biimplikation]] |
||
[[el:Αν και μόνο αν]] |
[[el:Αν και μόνο αν]] |
||
[[en:If and only if]] |
[[en:If and only if]] |
||
⚫ | |||
[[eo:S.n.s.]] |
[[eo:S.n.s.]] |
||
⚫ | |||
[[et:Parajasti siis, kui]] |
[[et:Parajasti siis, kui]] |
||
[[fa:اگر و فقط اگر]] |
[[fa:اگر و فقط اگر]] |
||
⚫ | |||
[[fr:Équivalence logique]] |
|||
[[he:אם ורק אם]] |
|||
⚫ | |||
[[is:Eff]] |
[[is:Eff]] |
||
[[it:Se e solo se]] |
[[it:Se e solo se]] |
||
[[ |
[[ja:同値]] |
||
⚫ | |||
[[lmo:Si e noma si]] |
[[lmo:Si e noma si]] |
||
⚫ | |||
⚫ | |||
[[mk:Ако и само ако]] |
[[mk:Ако и само ако]] |
||
[[nl:Dan en slechts dan als]] |
[[nl:Dan en slechts dan als]] |
||
[[ja:同値]] |
|||
[[no:Om og bare om]] |
|||
[[pl:Równoważność]] |
[[pl:Równoważność]] |
||
[[pt:Se e somente se]] |
[[pt:Se e somente se]] |
||
[[ru:Тогда и только тогда]] |
[[ru:Тогда и только тогда]] |
||
[[simple:If and only if]] |
[[simple:If and only if]] |
||
[[sr: |
[[sr:Ако и само ако]] |
||
⚫ | |||
[[sv:Om och endast om]] |
[[sv:Om och endast om]] |
||
⚫ | |||
[[tr:Ancak ve ancak]] |
[[tr:Ancak ve ancak]] |
||
[[uk:Тоді і лише тоді]] |
[[uk:Тоді і лише тоді]] |
||
[[ur:اگر بشرط اگر]] |
[[ur:اگر بشرط اگر]] |
||
⚫ | |||
[[zh:当且仅当]] |
[[zh:当且仅当]] |
Inačica od 17. lipnja 2012. u 13:27
U matematici, filozofiji i logici, i na povezanim tehničkim poljima, akko je najstandardnija skraćenica za „ako i samo ako“. Iako je „P akko Q“ najčešća varijanta, može se još i reći „P je nuždan i dovoljan uvjet za Q“ ili „P samo ako Q“
Definicija
Ekvivalencija redom iskaza p i q je iskaz "p akko q", u oznaci , koji je točan ako i samo ako su ili oba iskaza točna ili oba iskaza netočna.
Notacija
Najčešće korišćeni simboli su „⇔“, „↔“ i „≡“.
Dokazivanje
Najčešće korišteno dokazivanje da je „P akko Q“ je okolnim putem, tj dokazivanjem da „je P ako Q“ i da „je Q ako P“. Dokazivanje ova dva para je i najlogičniji poredak, jer je (uglavnom) teško dokazati istovremeno ovaj dvosmerni izraz. Još jedan način bi bio dokazati disjunkciju, tj. „(P i Q) ili (ne P i ne Q)“.
Podrijetlo skraćenice
Skraćenica „-{iff}-“ (za engleski izraz „-{if and only if}-“) prvi se put pojavila 1955. u knjizi Johna Kellya Opća topologija.
Razlike između „ako“ i „akko“
Razlika će najjednostavnije biti pokazana na primjeru.
- Petar će jesti puding ako je on od čokolade.
- Petar će jesti puding akko (ako i samo ako) je on od čokolade.
Prva rečenica nam govori da će Petar jesti puding od čokolade, ali, ona nam nipošto ne govori da on neće jesti puding ako je on od npr. vanilije. U principu, prva rečenica nam ne govori hoće li će Petar jesti neku drugu vrstu pudinga, samo da će ga jesti ako je od čokolade.
Druga rečenica nam jasno daje do znanja da je jedini puding koji bi Petar jeo, onaj od čokolade (i nijedan drugi).