» »

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??

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

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 :)

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

Zgodovina sprememb…

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)


Vredno ogleda ...

TemaSporočilaOglediZadnje sporočilo
TemaSporočilaOglediZadnje sporočilo
»

Kater disk diagnostic software?

Oddelek: Pomoč in nasveti
6882 (712) Duhec
»

Energetika...

Oddelek: Šola
61133 (795) mihapc123
»

Kako poračunati enačbo?

Oddelek: Loža
101660 (1179) kitajc
»

Obračanje formul :P

Oddelek: Šola
2214024 (11635) dottor
»

Kako dokazati/odkriti višje dimenzije?

Oddelek: Znanost in tehnologija
112082 (1695) SavoKovac

Več podobnih tem