Wartość bezwzględna bobo6: uzasadnij: ∃ a,b ∊ℛ [|a|=b→a=b ∨ a=−b

PW: Kwantyfikator mógłby być ogólny. Uzasadnienie wynika z definicji wartości bezwzględnej. Dla b<0 oraz dla b≠|a| mamy implikację o fałszywym poprzedniku (to znaczy prawdziwą). Dla b≥0 jeżeli poprzednik jest prawdziwy, to następnik jest po prostu zapisem definicji wartości bezwzględnej (zdanie prawdziwe).