1. ЯЗЫК ЛВ

Неверно, что все люди смертны. (3) В больших университетах студенты

паровоз дает гудок, то он отправляется. (8) Если вы меня изберете,

сложном - факт, смысл, причина, норма? Как логически передать?
(1) Когда мне

сложном - факт, смысл, причина, норма? Как логически передать?
(6) Если

все люди умны. (2) В больших ВУЗах студенты могут чувствовать себя

сегодня плохой день, либо сейчас вообще плохие времена. a. (A v B) b. (B ↔ C)

А = «Влюбленные ведут себя странно»; В = «Лошади дикие»;

«Иван», «Мария», «Раиса». 2) Действия: «работать», «веселиться», «танцевать», «плакать».
Введем сокращения

то Раиса веселится.
2. Раиса веселится, если Иван не плачет.
3. Иван

танцуют.
5. Чтобы Иван плакал, нужно, чтобы Мария танцевала.
6. Чтобы Иван

если Раиса танцует, а Мария работает.
8. Мария веселится, если Иван

и только если Иван и Рая танцуют.
11. Если Раиса танцует,

когда Иван не работает, а Мария работает.
14. Раиса не танцует,

если Иван работает, а Раиса не танцует.
16. Иван и Мария

случае, когда обе составляющие истины. (2) Ложна только в том случае,

создаст команду, если и только если он бросит пить или

b. [(A ↔ (B v C)] & (~B → ~D) c. ((A & B)&C) → (D v E) d. A → (B & (C v E))

Определить, какой закон
1. A v ~A
2. A → (A v B)
3. ~(A & ~A)
4. A → (B v A)
5. (A & B) → A
6. ~~A→A

и правильна ли она?
1. A           A v В
2. A & B      B
3.

7. ~A → B, A          B
8. A → (B → C), A            B →C
9. (A → B) → C,~C        ~(A → B)
10. ~A v B, A          B
11. ~A → B, ~A          B
12. A → B      ~B → ~A

и правильна ли она?
13. ~A → ~B   B → A
14. A → ~B, ~B → C         A → C
15. A → B, C → D, A v C             B v D
16. A → B, C → D, ~B v ~D             ~A v ~C
17. A → B, C → B, A v C               B
18. A → B, A → D, ~B v ~D                 ~A
19.

A → B, B → C, ~C          ~A
3.  A → B, C → D, ~D      ~A v ~C

4.  A & B, B → C 

~D                  ~A
8.(B&A) v C, (B&A)→D, ~D              C&~D
9.A→(~B&C), C→D, EvB, A              D&E

заключение можно получить?
(1/15) Если человек похитил вещь, то он ее спрячет.

заключение можно получить?
(3/15) Если социальная группа имеет значительный доход, она не

заключение можно получить?
(4/15) Если бы этот писатель был выразителем интересов

заключение можно получить?
(5/15) Посеешь поступок – пожнешь привычку, посеешь привычку –

заключение можно получить?
(6/15) Люди оспаривали бы аксиомы математики, если бы этого

заключение можно получить?
(7/15) Если я буду свободен, то я буду дома.

заключение можно получить?
(8/15) Если я буду в Москве, то я пойду

заключение можно получить?
(9/15) Я не смогу посмотреть фильм, если я пойду

заключение можно получить?
(10/15) Если я куплю телевизор, у меня не будет

заключение можно получить?
(11/15) Либо мы выполним план, либо уплатим штраф. Понятно

заключение можно получить?
(12/15) Если преступление совершено вследствие стечения тяжелых личных обстоятельств,

заключение можно получить?
(13/15) Либо у тебя на руках туз, либо ты

можно получить?
(14/15) Если наука исходит из догм, она перестает быть плодотворной.

можно получить?
(15) Юридическое лицо, уплатившее штраф до конца года, может быть

1. (p v q)→r
2. p↔(q v r)
3. p→(q→r)
4. ~(p v q)

1. p v ~p 2. p→(q→p) 3. (p→q)→p 4. ~(p &

Фактуальные формулы при отрицании превращаются в противоречия.
3. Отрицание тавтологии дает

членов конъюнкции противоречив, то она фактуальна.
7. Отрицание противоречия фактуально.
8. Все

~p
2. (p→q),(q→r)  ~r→~p
3.  (p↔q), ~p  ~q V r
4.  (p→q), (~q→~r), ~p  ~p
5.

не придем. Если не придем, то ты будешь одна, а

выкуп, то ты получишь ребенка назад. Если же ты сообщишь

только если выплатишь выкуп. А еще для этого необходимо не

были деньги для покупки электрической пишущей машинки, я бы писал

то тяжелые предметы падают быстрее легких. На самом деле тяжелые