Grejen om implikation
Hej, något som inte riktigt fastnat är implikationer. T.ex har man frågan: Ska då inte en ekvivalenspil ersätta implikationspilen? De två ekvationerna har väl ändå samma, som man kallar det, lösningsmängd? Eller beror implikationen på att de bara inte ser likadana ut?
Det är oklart om man menar ett predikat P(x), eller om det är en universell kvantifiering där "för alla x (som tillhör R)".
Men i båda fallen gäller samma sak: P <=> Q, som du säger, men det gör inte att P => Q är falsk. P => Q är också sann.
Tack så mycket, jag ska tänka vidare på det där :)
Med andra ord: Implikationspilen kan ersättas av en ekvivalenspil (men den måste inte det).
Så det är kanske bara en smaksak att man använder implikationspil i det fallet?
Det beror på vad avsikten är. Vem ställer den där frågan och varför?
Om P=> Q och Q=>P så gäller det att P<=>Q
