Matematička logika: razlika između inačica

||[[implikacija materijala]]

| rowspan=3|''A'' ⇒ ''B'' znači da ako je ''A'' istinit, tada je ''B'' također istinit; ako je ''A'' neistinit, tada o ''B'' nije ništa rečeno.<br/><br/>→ bi moglo značiti isto kao ⇒ (simbol može implicirati domenu i kodomenu od [[function (mathematics)|funkcije]]; vidi [[tablicu matematičkih simbola]]).<br/><br/>⊃ bi moglo značiti isto kao ⇒ (simbol bi mogao značiti i [[superset]]).

! rowspan="3" |U+21D2<br/><br/>U+2192<br/><br/>U+2283

! rowspan="3" | &amp;rArr;<br/>&amp;rarr;<br/>&amp;sup;

! rowspan="3" | <div><math>\Rightarrow</math>\Rightarrow<br/><math>\to</math>\to<br/><math>\supset</math>\supset</div>

|-

|-

|-

| rowspan=3 bgcolor=#d0f0d0 align=center|<div style="font-size:200%;">⇔<br/><br/>≡<br/><br/>↔</div>

| rowspan=3|''x''&nbsp;+ 5&nbsp;= ''y''&nbsp;+2&nbsp;&nbsp;⇔&nbsp; ''x''&nbsp;+ 3&nbsp;= ''y''

! rowspan="3" |U+21D4<br/><br/>U+2261<br/><br/>U+2194

! rowspan="3" | <div><math>\Leftrightarrow</math>\Leftrightarrow<br/><math>\equiv</math>\equiv<br/><math>\leftrightarrow</math>\leftrightarrow</div>

|-

|-

|-

| rowspan=3 bgcolor=#d0f0d0 align=center|<div style="font-size:200%;">¬<br/><br/>˜<br/><br/>!</div>

| rowspan=3|¬(¬''A'')&nbsp;⇔ ''A'' <br/> ''x''&nbsp;≠&nbsp;''y''&nbsp;&nbsp;⇔&nbsp; ¬(''x''&nbsp;=&nbsp; ''y'')

! rowspan="3" |U+00AC<br/><br/>U+02DC