1.

4
1. a = √4

a = 2 V a = -2
2.
a=” число 24 делится на 3”
b=” число 24 делится на 4”
c=” число 24 делится на 12”
a&b=>c
3
a– «число 18 кратно 3»;
b – «число 15 кратно 3»;
_
a&b
4
a– «число 18 кратно 3»;
b – «число 15 кратно 3»;
a&b
5
h – «число 15 – «двухзначное »
k – «число 15 кратно 5»
g – «число 15 кратно 3»
h & (g V k )
6
l – « e <= число пи ».
l
1.5
1) я учусь в Институте фундаментального образования
2) я учусь в Институте фундаментального образования и люблю
математическую логику
3) я учусь в Институте фундаментального образования и не люблю
математическую логику
4) я не учусь в Институте фундаментального образования и не люблю
математическую логику
5) неверно, что я учусь в Институте фундаментального образования и люблю
математическую логику.
1.8
1) Высказывания x z , x w , y w – истинны, а y z – ложно;
_ _ _ _ _ _ _ _
2) высказывание y & z – истинно, а x & z , x & w, y & w – ложны.
2.1
1) Тождественно истинная формула
2) тождественно истинная формула
3) не тождественно истинная формула
4) тождественно истинная формула
5) не тождественно истинная формула
2.2.
1) x 1, y 0
2) x 0 , y 0
2.3.
_ _ _
1) Импликации x -> y & z и x & y-> y V z истинны
2) Импликация x ->y истинна
________ _____
3) Импликации z->( x-> y) ложна, а x -> y-> z истинна.
2.4.
1) Значение формулы ложно
2) значение формулы истинно
3) значение формулы ложно
4) значение формулы ложно
5) значение формулы ложно
2.5
1

_ _
x y y x&y

1 1 0 0

1 0 1 1

0 1 0 0

0 0 1 0

x y z x&y x&yVz

1 1 1 1 1

1 1 0 1 1

1 0 1 0 1

1 0 0 0 0

0 1 1 0 1

0 1 0 0 0
0 0 1 0 1

0 0 0 0 0
3

_ _ _ _ _ _ _ _ _ _
x y z xVy x V y->z x&y x & y -> ( xVy->z)

0 0 0 1 0 0 1

0 0 1 1 1 0 1

0 1 0 0 1 1 1

0 1 1 0 1 1 1

1 0 0 1 0 0 1

1 0 1 1 1 0 1

1 1 0 1 0 0 1

1 1 1 1 1 0 1
4

x _ _ xVy ____ ___ _ _

y x xVy xVy & z x->y _ ____ _
x->y -> xV y & z

1 0 0 1 0 0 0 1

0 0 1 1 0 0 0 1

1 1 0 1 0 0 1 0

0 1 1 1 0 0 1 0

1 0 0 1 0 0 1 0

0 0 1 1 0 0 1 0

1 1 0 0 1 0 1 0

0 1 1 0 1 1 1 1