Logik predikatlogik
Jag har fastnat på den här frågan:
jag ska alltså substituera in i + k där det står n men problemet är att det endast är möjligt om variablerna i och k inte är bundna (vilket de är i detta fall). Jag undrar hur jag ska tänka, tips/hjälp uppskattas
Jag känner mig lite vilsen här. Har du en liknande tidigare uppgift som du kunde lösa?
Nej tyvärr
Är inte tanken att du ska döpa om (omnamna) i och k så att substitutionen blir möjlig?
hur menar du?
Om du byter ut i mot j så är i inte bunden längre.
fast jag kan väl inte byta ut i mot j eftersom j också är bunden
Jaha, jag slarvade. Ta en ny bokstav, t.ex. p.
fast om jag byter ut i mot p, vad gör det för skillnad? Jag måste väl ändå ändra ∀i till ∀p vilket gör att p blir bunden istället
Fast att p är bunden hindrar dig ju inte att substituera n mot i+k.
men kommer jag inte behöva byta ut i:et i i + k mot p + k ? Eller kan jag ha kvar den?
Det är det bundna i:et som du byter ut mot p. Det fria i ska fortsätta heta i.
Ok, jag har skrivit såhär, ∀p∀j (p>1 ∧ (i+k) = p×j --> ∃k (p = 2×k)). Är det korrekt?
Jag tycker det.
Hade du rätt eller?
