Экзамен зачет учебный год 2023 / домашнее задание по логике к семинару 28.09, студентка группы 210 Окунева Марина Олеговна-1
.docxДомашнее задание к семинару 28 сентября
Задание 1.
-
p
p
p ⊃ p
и
и
и
л
л
л
и
л
(⌝ p ⊃ q ) & ⌝ (q ᴠ p )
p |
q |
⌝ p |
⌝ p ⊃ q |
q ᴠ p |
⌝ (q ᴠ p ) |
(⌝ p ⊃ q ) & ⌝ (q ᴠ p )
|
и |
и |
л |
и |
и |
л |
л |
и |
л |
л |
и |
и |
л |
л |
л |
и |
и |
и |
и |
л |
л |
л |
л |
и |
л |
л |
и |
л |
⌝ (p ᴠ q)
(⌝
p & ⌝
q)
-
p
q
⌝ p
⌝ q
p ᴠ q
⌝ (p ᴠ q)
⌝ p & ⌝ q
⌝ (p ᴠ q) (⌝ p & ⌝ q)
и
и
л
л
и
л
л
и
и
л
л
и
и
л
л
и
л
и
и
л
и
л
л
и
л
л
и
и
л
и
и
и
( p ᴠ ⌝ q) ⊃ (q & r)
-
p
q
r
⌝ q
p ᴠ ⌝ q
q & r
( p ᴠ ⌝ q) ⊃ (q & r)
и
и
и
л
и
и
и
и
и
л
л
и
л
л
и
л
и
и
и
л
л
л
и
и
л
л
и
и
и
л
л
и
и
л
л
л
и
л
л
л
л
и
л
л
и
и
и
л
л
л
л
л
и
и
л
л
(( p ⊃ q) & (p ⊃ r)) ⊃ (( ⌝ q ᴠ ⌝ r) ⊃ p)
-
p
q
r
⌝q
⌝ r
p ⊃ q
p ⊃ r
⌝ q ᴠ ⌝ r
(⌝ q ᴠ ⌝ r) ⊃ p
( p ⊃ q) & (p ⊃ r)
(( p ⊃ q) & (p ⊃ r)) ⊃ (( ⌝ q ᴠ ⌝ r) ⊃ p)
и
и
и
л
л
и
и
л
и
и
и
и
и
л
л
и
и
л
и
и
л
и
и
л
и
и
л
л
и
и
и
л
и
л
и
и
л
л
и
и
л
и
и
и
и
л
л
и
и
л
л
и
и
л
и
л
и
л
л
и
и
и
и
л
и
л
л
л
и
и
л
и
и
и
л
и
л
л
л
л
и
и
и
и
и
л
и
л
( p & (q ᴠ r)) ⊃ ((p & q) ᴠ (p & r))
-
p
q
r
q ᴠ r
p & (q ᴠ r)
p & q
p & r
(p & q) ᴠ (p & r)
( p & (q ᴠ r)) ⊃ ((p & q) ᴠ (p & r))
и
и
и
и
и
и
и
и
и
и
и
л
и
и
и
л
и
и
и
л
и
и
и
л
и
и
и
л
и
и
и
л
л
л
л
и
и
л
л
л
л
л
л
л
и
л
и
л
и
л
л
л
л
и
л
л
и
и
л
л
л
л
и
л
л
л
л
л
л
л
л
и
Задание 2.
s = Иван любит Марью
p = Марья любит Ивана
(s & ⌝p) ᴠ (p & ⌝s)
-
s
p
⌝p
s & ⌝p
p & ⌝s
(s & ⌝p) ᴠ (p & ⌝s)
и
и
л
л
л
л
и
л
л
и
л
и
л
и
и
л
и
и
л
л
и
л
л
л
s = число делится на 2
p = число делится на 3
(s ᴠ⌝p) ⌝ (p ⊃ s)
-
s
p
⌝p
s ᴠ⌝p
p ⊃ s
⌝ (p ⊃ s)
(s ᴠ⌝p) ⌝ (p ⊃ s)
и
и
л
и
и
л
л
и
л
и
и
и
л
л
л
и
л
л
л
и
л
л
л
и
и
и
л
л
s = высказывание конъюнктивное
p = высказывание дизъюнктивное
q = высказывание импликативное
(⌝ s & ⌝p &⌝q) ⊃⌝ (s ᴠ q)
-
s
p
q
⌝ s
⌝p
⌝q
⌝ s & ⌝p &⌝q
s ᴠ q
⌝ (s ᴠ q)
(⌝ s & ⌝p &⌝q) ⊃⌝ (s ᴠ q)
и
и
и
л
л
л
л
и
л
и
и
и
л
л
л
и
л
и
л
и
и
л
и
л
и
л
л
и
л
и
л
и
и
и
л
л
л
и
л
и
и
л
л
л
и
и
л
и
л
и
л
и
л
и
л
и
л
л
и
и
л
л
и
и
и
л
л
и
л
и
л
л
л
и
и
и
и
л
и
и