Naturlig deduktion
Jag ska bevisa:
Om jag först skulle skriva om VL till som är ekvivalent med det som stod innan så vet jag hur man skulle kunna bevisa sekventen, men nu när det är implikation har jag ingen aning hur jag ska gå till väga. Jag kan ju såklart skriva över premissen på den formen så jag slipper implikationen men det känns som det finns något mycket lättare sätt som jag missar.
Snälla hjälp!
Jag är lite osäker på dina moderna logiska symboler, så jag försöker tolka och skriva mer i klartext.
Låt A vara utsagan: Det finns x så att F(x) sant och B utsagan: Det finns x så att P(x) sant. Då är implikationen i VL: A medför B. Du verkar vilja negera denna implikation (kanske för att göra ett motsägelsebevis?). Negationen av en implikation blir: Det finns A OCH icke-B dvs Det finns x så att A sant OCH P(x) falsk för alla x. Månne detta försök till ledning vara hjälpsamt?
