Logički operatori u matematici: razlika između inačica
Izbrisani sadržaj Dodani sadržaj
m Bot: brisanje međuwiki poveznica premještenih u stranicu d:q3235413 na Wikidati |
Nema sažetka uređivanja |
||
Redak 191:
|-
|align=right|[[propozicijska logika]], [[prvoredna logika]]
|-
| rowspan=3 bgcolor=#d0f0d0 align=center| <div style="font-size:200%;">⊨</div>
||[[sukladno]]
| rowspan=3| ''|AB|''=''|CD|''
| rowspan=3| ''A'' → ''B'' ⊨ ¬''B'' → ¬''A''
! rowspan="3" |U+22A7
! rowspan="3" |()
! rowspan="3" | <math>\models</math>\models
|-
|}
| |||