Из высказываний
= «Завтра будет солнечно»,
= «Мы пойдем гулять в парк» и
= «Мы купим мороженое» образовано высказывание «Если завтра будет солнечно, то мы пойдем гулять в парк и купим мороженое». Тогда, используя символы логики высказываний, можно записать данное высказывание в виде: