Razlika između inačica stranice »Akko«

Obrisana 3 bajta ,  prije 9 godina
bez sažetka
U [[matematika|matematici]], [[filozofija|filozofiji]] i [[logika|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žannuždan i dovoljan uvjet za Q“ ili „P samo ukoliko Q“
 
== Definicija ==
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 [[disjunkcija|disjunkciju]], tj. „(P i Q) ili (ne P i ne Q)“.
 
== PorijekloPodrijetlo skraćenice ==
Skraćenica „-{iff}-“ (za [[engleski jezik|engleski]] izraz „-{if and only if}-“) se prvi se put pojavila [[1955]]. u knjizi [[John Kelly|Johna Kellya]] <cite>Opća topologija</cite>.
 
== Razlike između „ako“ i „akko“ ==
# 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 ukolikoako je on od npr. vanilije. U principu, prva rečenica nam ne govori dahoće li će Petar jesti neku drugu vrstu pudinga, samo da će ga jesti ukolikoako 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).
Anonimni suradnik