Forum » Šola » pravila sklepanja
pravila sklepanja
alro ::
Dober dan!
Ali je sklep
(r⇒t)⇒p,¬(s⇒r),s⇒¬q⊨p∧¬q
pravilen?
1.(r => t) => p
2. ¬(s => r)
3. s => ¬q
In zdej naprej morm z tistimi pravili sklepanja delat in sploh nevem kako bi to kej uporabu ker iz tega nč ne vidm kako bi šlo to naprej??
Ali je sklep
(r⇒t)⇒p,¬(s⇒r),s⇒¬q⊨p∧¬q
pravilen?
1.(r => t) => p
2. ¬(s => r)
3. s => ¬q
In zdej naprej morm z tistimi pravili sklepanja delat in sploh nevem kako bi to kej uporabu ker iz tega nč ne vidm kako bi šlo to naprej??
JesseP ::
Kje se ti ustavi?
Al nasplošno neznaš sklepat po pravilih, al samo ta primer?
Probaj na lažjih primerih.
http://www.fmf.uni-lj.si/~skreko/Gradiv...
Dobra skripta, pojdi po njej. Ko se ti pa kje specifično zatakne pa povej
Al nasplošno neznaš sklepat po pravilih, al samo ta primer?
Probaj na lažjih primerih.
http://www.fmf.uni-lj.si/~skreko/Gradiv...
Dobra skripta, pojdi po njej. Ko se ti pa kje specifično zatakne pa povej
Zgodovina sprememb…
- spremenilo: JesseP ()
alro ::
ja jest sm takole naredil:
1.(r => t) => p
2. !(s => r)
3. s => !q
4. s and !r ~ 2
5. s Po(4)
6. !q MP(3, 5)
7. !r Po(4)
In zdej od tuki naprej nevem kaj, sm probu 1. razstavt pa probavlu pa nevem kako...
če sploh prou delam tkole :)
1.(r => t) => p
2. !(s => r)
3. s => !q
4. s and !r ~ 2
5. s Po(4)
6. !q MP(3, 5)
7. !r Po(4)
In zdej od tuki naprej nevem kaj, sm probu 1. razstavt pa probavlu pa nevem kako...
če sploh prou delam tkole :)
Zgodovina sprememb…
- spremenil: alro ()
Math Freak ::
Ja prav delaš, samo moraš še nadaljevat. Nisem tega že dolgo računu, ti kaj nuca !s => q (3) kontrapozicija =p?
Math Freak ::
Kaj če bi kontrapozicijo uporabu pri prvem:
(r=>t)=>p ~ !(r=>t) v p
In je to !(!r v t) v p
(r=>t)=>p ~ !(r=>t) v p
In je to !(!r v t) v p
Zgodovina sprememb…
- spremenilo: Math Freak ()
Math Freak ::
in potem če se igraš s prvo izjavo:
(r=>t)=>p
!(r=>t) v p (kontrapozicija)
!(!r v t) v p (kontrapozicija)
(!!r in !t) v p (de morgan)
r v p (poenostavitev)
p v r (komutativnost)
maš pa od prej !r
p (disjunktivni silogizem)
od prej imaš !q
in končno p in !q (združitev)
dokazano (če se nisem kje zmotil)
(r=>t)=>p
!(r=>t) v p (kontrapozicija)
!(!r v t) v p (kontrapozicija)
(!!r in !t) v p (de morgan)
r v p (poenostavitev)
p v r (komutativnost)
maš pa od prej !r
p (disjunktivni silogizem)
od prej imaš !q
in končno p in !q (združitev)
dokazano (če se nisem kje zmotil)
Vredno ogleda ...
| Tema | Ogledi | Zadnje sporočilo | |
|---|---|---|---|
| Tema | Ogledi | Zadnje sporočilo | |
| » | Kater disk diagnostic software?Oddelek: Pomoč in nasveti | 900 (730) | Duhec |
| » | Energetika...Oddelek: Šola | 1152 (814) | mihapc123 |
| » | Kako poračunati enačbo?Oddelek: Loža | 1702 (1221) | kitajc |
| » | Obračanje formul :POddelek: Šola | 14163 (11774) | dottor |
| » | Kako dokazati/odkriti višje dimenzije?Oddelek: Znanost in tehnologija | 2093 (1706) | SavoKovac |