Решение на логически израз

[Гост]

(A v 7B) -> (7A ∧ B)

[Гост]

Как трябва да се пресметне - с таблица на истинност или как?

[Гост]

Твърдението не е вярно! Ето пример. Твърденията A и B са в синьо.

Твърдения A и В.png (2.18 KiB) Прегледано 890 пъти

Вижда се, че от първото не следва второто.

Сравняване на _не A и В_ и А или_не В.png (9.41 KiB) Прегледано 890 пъти

Навярно Гост » 01 Сеп 2017, 20:07 е имал предвид задачата
[tex]A \vee \overline{B} \Rightarrow \overline{A \wedge B}[/tex] ?

[глупчо]

Твърдението е точно така, както е взето от примерна задача на изпит.
Знакът -> означава импликация. В голяма чуденка ме вкарва задачата.

[Гост]

Случаят, когато [tex]A\cap B =\varnothing[/tex]

Случаят когато A и В не се пресичат.png (9.2 KiB) Прегледано 890 пъти

[Гост]

А какво означава СЕДМЍЦАТА пред В и СЕДМЍЦАТА пред А ?

[глупчо]

А какво означава СЕДМЍЦАТА пред В и СЕДМЍЦАТА пред А ?

Не знам. Карах един изпит преди и преписах задачата от друг изпит, точно защото ми беше чудна.
В учебника нямаме подобно нещо с числа пред съжденията.
Ето страница от учебника, която се занимава с това.
http://www.img-share.eu/f/images/416/im ... sredna.jpg
ОСВЕН 7 да е значело грознопис на отрицание.
Тогава решението на [tex]A \vee \overline{B} \Rightarrow \overline{A \wedge B}[/tex] какво е?
С таблица за истинност ли се прави по-скоро ме интересува? Нямам намерение да чертая множества.

[Гост]

А ето и случая, когато А и В се пресичат.

Случаят когато A и В се пресичат.png (7.61 KiB) Прегледано 886 пъти

[Гост]

А сега може да си го разпишеш и с верностна таблица.

[глупчо]

А ето и случая, когато А и В се пресичат.

Случаят когато A и В се пресичат.png

С таблица на истинност мога ли да го напиша, ако 7-цата всъщност е значела отрицание пред двете?
Защото съм сигурен, че нямаше отрицание във втората част на израза над А и Б.
(A v 7B) -> (7A ∧ B) ако значи (A или не Б) следва (не А и Б), това така поставено не е грешно?
А ако това е било 7, то какво би значел подобен израз?

[Гост]

Да. Учебникът ти е перфектен. Грознописът не е извинение.

[глупчо]

Да. Учебникът ти е перфектен. Грознописът не е извинение.

Учебникът е перфектен, но се кълна че го видях 7 или нещо подобно.
Аз преди това съм учил в техническа гимназия. Отрицанието беше черта отгоре.
Не може по 10 различни знака да се поставят за едно действие, това не е правилно.
------
(A v 7B) -> (7A ∧ B) БИ ТРЯБВАЛО да значи (A или не Б) следва (не А и Б), това така поставено не е грешно?
------
Задачата се "решава" с таблица за истинност или с описание на множества? Кое от двете и какво означава да се "реши"?

[Гост]

В света има много центрове на знанието и навсякъде се правят на велики. Трябва да владеем и по два - три други езика, езикови средства, за да успяваме да се впишем. Приеми го като необходимо зло.

[глупчо]

В света има много центрове на знанието и навсякъде се правят на велики. Трябва да владеем и по два - три други езика, езикови средства, за да успяваме да се впишем. Приеми го като необходимо зло.

Добре, значи седмицата е отрицание, което е било написано криво и в бързината да реша другия изпит не съм го видял за какво става въпрос.
Задачата се решава с таблица за истинност, така ли да разбирам? Друго трябва ли да се пише за нея?
Или се решава с таблиците, които съм дал
Относно знаците - докато не видях този учебник, по всички други дисциплини като цифрова схемотехника, булева алгебра..за отрицание използвахме черта отгоре, а не обърнато Г, което прилича на 7 всъщност.
Така има логика - А или НЕ Б следва НЕ А и Б, защото НЕ Б е А включително.
За това благодаря, че ми помогна да разбера грешката...

[Гост]

Таблицата доказателство.png (1.96 KiB) Прегледано 883 пъти

Остава само да попълниш средната колонка. (Надявам се и аз да нямам грешка.)
Ако навсякъде са еднакви стойностите, доказателството е налице.

[Гост]

Успех!

[глупчо]

Успех!

Благодарско. Много по-лесно е, когато знаеш какво точно се иска от теб. Аз не съм искал да ми се решава задачата в случая, ще си го попълня. Това, че съм видял 7 вместо знак за отрицание ¬ ме е объркало. Явно и така е бил написан.

[Гост]

И не си глупчо!
Смени си ника