Список логічних символів: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Рядок 18:
|-
| rowspan=3 bgcolor=#d0f0d0 align=center|<div style="font-size:200%;">:=<br/><br/>≡<br/><br/>:⇔</div>
||[[
| rowspan=3|''x'' := ''y'' або ''x'' ≡ ''y'' означає ''x'' визначається як інша назва для ''y'' (але врахуйте, що ≡ може також означати інші речі, такі як [[конгуренція]]).<br/><br/>''P'' :⇔ ''Q'' означає ''P'' визначається як [[
| rowspan=3|cosh ''x'' := (1/2)(exp ''x'' + exp (−''x''))<br/><br/>''A'' XOR ''B'' :⇔ (''A'' ∨ ''B'') ∧ ¬(''A'' ∧ ''B'')
! rowspan="3" |U+2254 (U+003A U+003D)<br/><br/>U+2261<br/><br/>U+003A U+229C
| |||