Jednačina po iskazu p sa disjunkcijom

Prvo ćemo analizirati levu stranu jednačine koristeći definiciju logičke operacije disjunkcije ( $\lor$ ).

Znamo da je disjunkcija bilo kog iskaza $p$ sa netačnim iskazom ( $\bot$ ) ekvivalentna samom iskazu $p .$ To možemo zapisati kao:

p \lor \bot \equiv p

Sada primenjujemo funkciju istinitosne vrednosti $\tau$ na obe strane izraza:

\tau(p \lor \bot) = \tau(p)

Zamenom ovog rezultata u početnu jednačinu dobijamo:

\tau(p) = \top

Pošto funkcija $\tau(p)$ vraća vrednost $\top$ samo kada je iskaz $p$ tačan, zaključujemo da je rešenje jednačine:

p = \top

4.b