Implico: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
KuBOT (diskuto | kontribuoj) e Roboto: Ŝanĝas ŝablonon: Rq; kosmetikaj ŝanĝoj |
e Anstataŭigi senvalorigitan matematikan sintakson laŭ mw:Extension:Math/Roadmap |
||
Linio 34:
Implico povas prezenti per aliaj simboloj de matematika logiko:
<math>P\implies Q \iff \neg P \
|