Logikträd?
Jag kan inte alls se hur det här ”trädet” är uppbyggt. Jag har listat ut att det antagligen är ett v mellan 1 och 2 (verkar vara det man är ute efter här?), och jag ser att 2 blir 3 v 4 om man tar bort parentesen. Men sen får jag det till att 1=6^7. Kan det vara därför de står på samma sida?? 
Det borde stå någonstans vad nedåtpil betyder. Jag gissar att det är "nor", alltså icke(A eller B).
Det betyder varken eller. Men jag tycker det är så ologiskt vad som hamnar under varandra, hur ser man att 6-9 ska vara på vänstra sidan?
Micimacko skrev:Det betyder varken eller. Men jag tycker det är så ologiskt vad som hamnar under varandra, hur ser man att 6-9 ska vara på vänstra sidan?
Jag tycker också det verkar godtyckligt. De behöver inte icke-P heller och icke-Q härleder de två gånger. Framgår det inget användbart ur det som står före exemplet?
Inte direkt. Frågan är om de ens hade någon poäng med det. Det på nästa sida visar iaf nånting, och jag tror jag lyckades förstå det. Jag gissade nog fel att det skulle vara v mellan de olika siffrorna under varandra.
I det första, hade man kunnat sätta inte R på högersidan också eftersom den verkar komma från 1? Så man typ ”dödar” det också?
Poäng är det ju. Det här är en bevismetod för satslogik, men den säger inte precis vilka steg man ska göra.
Med poäng menade jag att det visar nånting. Dåligt bevis om man varken kom fram till att man hade rätt eller fel.
Jag menar om man kan fylla på högersidan lite så det ser ut som på nästa sida, att allt tar ut varann.
Micimacko skrev:Med poäng menade jag att det visar nånting. Dåligt bevis om man varken kom fram till att man hade rätt eller fel.
Jag menar om man kan fylla på högersidan lite så det ser ut som på nästa sida, att allt tar ut varann.
Jag behöver nog läsa allt de säger från början för att kunna bidra med något mer.
