Izjave in izjavne povezave
 

Izjave in izjavne povezave vaja 27


Dano izjavo zapišite s simboli.

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


OPOMBA: to je izjava o tranzitivnosti celih števil.


 

urednik gradiva: OpenProf portal