Из высказываний 
= «Завтра будет солнечно», 
= «Мы пойдем гулять в парк» и 
= «Мы купим мороженое» образовано высказывание «Если завтра будет солнечно, то мы пойдем гулять в парк и купим мороженое». Тогда, используя символы логики высказываний, можно записать данное высказывание в виде:
= «Завтра будет солнечно», = «Мы пойдем гулять в парк» и = «Мы купим мороженое» образовано высказывание «Если завтра будет солнечно, то мы пойдем гулять в парк и купим мороженое». Тогда, используя символы логики высказываний, можно записать данное высказывание в виде:
- ✓
Высказывание «Если завтра будет солнечно, то мы пойдем гулять в парк и купим мороженое» составлено из высказываний 
= «Завтра будет солнечно», 
= «Мы пойдем гулять в парк» и 
= «Мы купим мороженое» при помощи слов «если…, то…» и союза «и».
Высказывание, составленное из двух высказываний
и 
при помощи слов «если…, то…», называют импликацией высказываний и обозначают 
. Высказывание, составленное из высказываний 
и 
при помощи союза «и», называют конъюнкцией высказываний 
и 
и обозначают 
.
Наше высказывание имеет вид «Если
, то 
и 
», значит, используя символы логики высказываний, получим искомую формулу 
.
= «Завтра будет солнечно», = «Мы пойдем гулять в парк» и = «Мы купим мороженое» при помощи слов «если…, то…» и союза «и».Высказывание, составленное из двух высказываний
и при помощи слов «если…, то…», называют импликацией высказываний и обозначают . Высказывание, составленное из высказываний и при помощи союза «и», называют конъюнкцией высказываний и и обозначают .Наше высказывание имеет вид «Если
, то и », значит, используя символы логики высказываний, получим искомую формулу .