Дали са ни едно много важно домашно (следвам в Германия), за което не са ни преподали материала, можете ли да ми помогнете?

1. от C или D следва S или T
2. от C и не D следва T
3. от не D следва S
4. от не C и D следва не T
от ? следва S и Т

Благодаря предварително.

Съдържаниет е скрито
Влезте за да го видите

комбинирай 2 и3 израз.

поправи ме ако греша:

от 2ри и 3ти израз не следва ли:
от С и не D следва Т и не S

?

Съдържаниет е скрито
Влезте за да го видите

Като направиш "И" на левите и десни страни на 2. и 3., се получава
от C и не D следва S и Т
1. и 4. просто не ти трябват.

Не и както си ги написал първоначално изразите.

Хиляди извинения, объркал съм задачата, ето как трябва да е:

1. от C или D следва S или T
2. от C и не D следва T
3. от не D следва НЕ S
4. от не C и D следва не T
от ? следва S и Т

Съдържаниет е скрито
Влезте за да го видите

ot ne D i C e to4noto rehsenie.a kakto 1 tai i 2 i 3 i 4 sa si mnogo nujni.zasho?PARVO. imas C ili D sledva S ili T ot tuka oshte ne mojesh da opredeli logikata.smisal az moga da si mislq 4e C=S ili C=T nali.iliD=S ili D=T.VTORO.ot C i ne D sledva T... tuka nqma dvusmislie.preminaveme natatak.TRETO. ot ne D sledva S tova e parvata 4ast na reshenieto spored men tuk se proqvava logika.4ETVARTO.ot ne C=D sledva T.VAPROS.ot kade sledvat S i T. tuka nqma matematika ima logika.tova ravno da ne vi podvejda.gledam PARVOTO. tam ima dvusmislie zasega ne varshi rabota,gledam VTORO.imam T no za moe ulesnenie parvo vijdam 4e tasq S da sledvame logikata vse pak kakto e napisano,gledam TRETO.imam S i to e ne D bukvalno kakto e napisano.pribavqm kam OTGOVORA NA VAPROSA ot ne D sledva S.tasq T.gledam VTORO imam T no gledam TRETO pak imam T. te vazimno se izklu4vat ili VTOROTO I 4ETVARTOTO SA MI IZLISHNI.gledam kam uslovieto ili kam PARVO.vijdam 4e ot OTGOVORA imam D=S i TOGAVA С=Т.мисля 4е има пропуск в условието но отговора е от не Д и С следва останалото.

rabotata stana malko po trudna.ve4e e matematika az si igraq da misql greshni zada4i.

C- D=T
-C+D=-T /.-1 D=S / resh.D i C = S i T
-D=-S

s logikata: ne mi se pishe!!!

А според мен последната ти корекция в (3) изобщо не е от значение, понеже (2) и (4) са напълно достатъчни. Просто защото (2) (4) си противоречат в конюкция, а следователни и цялата аксиоматика (1)-(4) е противоречива. И както се знае, от противоречива аксиоматика следва всичко (значи мога от горните твърдения (2) и (4) да докажа, че аз съм Папата :)


---
ПОДРОБНОСТИ
---------------------------------
Използвайки логическите правила правилата X->Y == ~X \/ Y и ~(X /\ Y) == ~X\/~Y от (2) и (4) получаваме съответно

(2') ~C \/ D \/ T
(4') C \/ ~D \/ ~T

Очевидно двете горни твърдения си противоречат, т.е. взети в конюнкция получаваме тъждествено ЛЪЖА. Обаче нали от лъжа се доказва всичко? Така че (S/\T) трябва да е следствие, както всяко друго твърдение.

Изобщо за всяко X имаме че от ЛЪЖА следва X. Например освен (S/\T) доказваме

(2) /\ (4) -> "Аз съм папата" ==
== (((C/\~D)->T) /\ ((~C/\D)->T)) -> "Аз съм папата" ==
== ЛЪЖА -> "Аз съм папата" ==
== ~ЛЪЖА \/ "Аз съм папата" ==
== ИСИНА \/ "Аз съм папата" ==
== ИСТИНА