Logik slutledning med deduktion
Hej, har fastnat hårt på den här uppgiften:
Vet inte riktigt hur hag ska lösa den med deduktion. Här är så långt jag har kommit:
1.¬q förutsättning
2.p→q förutsättning
3.¬p genom 1., 2. och modus tollens
4. ¬p→r förutsättning
5. r genom 3., 4. och Modus ponens
6. (¬p∧r)→r förutsättning
Jag har då kommit fram till ((¬p∧r)→s)∧r ⇒ s och vet inte hur jag ska gå vidare med uppgiften. Jag tänkte kanske använda Konjunktiv förenkling på (¬p∧r), men jag tror inte att det blir rätt. Våra formelblad är dessa:
Du har (icke-q) OCH (om p så q)
Det ger icke-p och icke-q.
Sedan har du (om icke-p så r). Eftersom vi visat (icke-p) så gäller r.
Till sist har du (om (icke-p) OCH r) så s.
Vi har visat icke-p och r. Alltså s.
Så Om hela raddan före => är sann så s. Vilket är påståendet.
Mogens skrev:Du har (icke-q) OCH (om p så q)
Det ger icke-p och icke-q.
Sedan har du (om icke-p så r). Eftersom vi visat (icke-p) så gäller r.
Till sist har du (om (icke-p) OCH r) så s.
Vi har visat icke-p och r. Alltså s.
Så Om hela raddan före => är sann så s. Vilket är påståendet.
Hej, tack för svaret men jag har svårt att tolka början. Ifall jag har förstått det rätt så ska jag ta ¬q∧p→q och få fram ¬p∧¬q? men hur får jag det? Jag ser ingen regel som gör så att jag kan få fram det.
Sedan har du skrivit "Eftersom vi har visat (icke-p) så gäller r". Är inte detta reduktion och inte deduktion? Ursäkta ifall jag är lite trög.
Jag har inte helt klart för mig skillnaden mellan reduk och deduk.
icke-q vet vi.
om p så q vet vi
Ifall p vore sant skulle q vara sant. Men vi visste icke-q. Alltså p inte sant.
Jag är också trög, nu går jag av tåget. Lycka till!
Kopiera icke-p med regel nummer 6 så kan du få fram s. När du väl har ett s någonstans är det bara stryka allt annat med konjuktiv förenkling.
Micimacko skrev:Kopiera icke-p med regel nummer 6 så kan du få fram s. När du väl har ett s någonstans är det bara stryka allt annat med konjuktiv förenkling.
Aj då, jag tänkte inte alls på att jag kunde kopiera uttrycken. Tack som fan, du räddade min måndag.
