Logički operatori u matematici: razlika između inačica
Izbrisani sadržaj Dodani sadržaj
Nema sažetka uređivanja |
Nema sažetka uređivanja |
||
Redak 192:
|align=right|[[propozicijska logika]], [[prvoredna logika]]
|-
| rowspan=3 bgcolor=#d0f0d0 align=center| <div style="font-size:200%;">
||[[sukladno]]
| rowspan=3| ''|AB|'' = ''|CD|''
| rowspan=3| ''A'' → ''B'' ⊨ ¬''B'' → ¬''A''
! rowspan="3" |U+22A7
|