Izjave in izjavne povezave
 

Izjave in izjavne povezave vaja 25


Dano izjavo zapišite s simboli.

Izjava: Naj bodo a, b in c iz množice celih števil. Če je število a manjše od b, potem je .


OPOMBA: to je izjava o monotonosti vsote celih števil.


 

glavni avtor in urednik gradiva: Tejine inštrukcije