Člen : Přihlášení |Registrace |Nahrát znalosti
Vyhledávání
Pokud a pouze pokud [Změna ]
V logice a souvisejících oborech, jako je matematika a filozofie, pokud a pouze pokud (zkrácený iff) je bikondiální logický vztah mezi výroky.
V tom, že je bikondiální, může být pojivo spojeno se standardním materiálem podmíněným ("pouze pokud", rovná se "if ... then") v kombinaci s jeho reverzní ("if"); odtud jméno. Výsledkem je, že pravdivost jednoho z připojených příkazů vyžaduje pravdu druhého (tj. Buď obě tvrzení jsou pravdivé, nebo oba jsou nepravdivé). Je kontroverzní, zda takto definovaná spojnice je řádně vykreslena anglickým jazykem "pokud a pouze pokud" s jeho již existujícím významem. Není nic, co by mohlo zabránit tomu, aby jsme mohli tuto spojitost přečíst jako "pouze pokud a kdy", ačkoli to může vést ke zmatku.
V písemné podobě jsou obecně používané fráze s diskutovatelnou vlastností jako alternativa k P "pokud a pouze pokud" Q obsahuje Q je nutné a postačující pro P, P je ekvivalentní (nebo materiálně ekvivalentní) s Q (srovnáme materiální implikace), P přesně pokud Q, P přesně (nebo přesně), když Q, P přesně v případě Q a P jen v případě Q. Mnoho autorů považuje "iff" za nevhodnou ve formálním psaní; jiní ji využívají svobodně.
V logických vzorcích se místo těchto frází používají logické symboly; viz diskusi o notaci.
[Pravidlo dedukce][Logika][Filozofie]
1.Definice
2.Používání
2.1.Označení
2.2.Důkazy
2.3.Původ iff a výslovnost
3.Rozlišování od "if" a "only if"
4.Z hlediska Eulerových diagramů
5.Obecnější použití
[Přidat Více Obsah ]


Copyright @2018 Lxjkh