Izjave in izjavne povezave
 

Izjave in izjavne povezave vaja 26


Dano izjavo zapišite s simboli.

Izjava: Naj bosta a in b iz množice celih števil. Če je a manjše ali enako b in b manjše ali enako a, potem sta števili a in b enaki.


OPOMBA: to je izjava o antisimetričnosti celih števil.


 

urednik gradiva: OpenProf portal