Diskussion:Ekvivalens (logik)

Hej Popperipopp

Jag förstod aldrig vilken skillnad du gör mellan 'materiell ekvivalens' och 'logisk ekvivalens' och jag tror ingen annan gör det heller utifrån din text i artikeln. Har du någon referens till där detta utvecklas? /Åke Persson 16 augusti 2007 kl. 15.23 (CEST)Svara

Hejsan! Enligt vad jag har förstått är "materiell ekvivalens" namnet på konnektivet p ↔ q, d.v.s. "om och endast om p så q". Det är alltså en funktion av två variabler. "Logisk ekvivalens" eller bara "ekvivalens" är däremot endast egenskapen att vara liktydig med någonting annat. Jag skulle vilja påstå att konnektivet ↔ uttrycker egenskapen att vara ekvivalent. Säg till om det är otydligt eller om jag har fel. Jag är inte hemma just nu men kan kika upp det närmare i helgen då jag har tillgång till min referens. --Popperipopp 16 augusti 2007 kl. 16.25 (CEST)Svara

För övrigt är den här artikeln till stor del en förkortad översättning av motsvarande engelska artikel. Notera distinktionen som görs även där. --Popperipopp 16 augusti 2007 kl. 16.44 (CEST)Svara

Det är synd att det blev en förkortad översättning. Den engelska texten innehåller en del vilktiga förtydliganden. Jag har förtydligat lite här och var, men vet inte om jag riktigt förstår skillnaden i den engelska texten heller. /Åke Persson 16 augusti 2007 kl. 17.28 (CEST)Svara

Jaså? Det var synd. Det är alltid en risk när man försöker plocka ut de enskilt viktigaste delarna ur en annan artikel. Jag ska hjälpa till att förtydliga när jag får energi till det. Återkommer även, som sagt, med källhänvisning och förtydligande i diskussionen. --Popperipopp 16 augusti 2007 kl. 17.46 (CEST)Svara

Min referens är Language, proof and logic av Jon Barwise och John Etchemendy. Ekvivalens behandlas på lite olika ställen i boken men en mening som fångar kärnan av det hela är följande: "Writing S1 ↔ S2 to indicate that S1 and S2 are logically equivalent..." Här framgår det att konnektivet materiell ekvivalens uttrycker förhållandet logisk ekvivalens. --Popperipopp 20 augusti 2007 kl. 18.24 (CEST)Svara

Men om konnektivet 'materiell ekvivalens' uttrycker förhållandet 'logisk ekvivalens', vad är det då för skillnad? Begreppet logisk ekvivalens är inte beskrivet i artikeln som någonting annat än vad den materiella ekvivalensen formellt uttrycker. /Åke Persson 21 augusti 2007 kl. 14.18 (CEST)Svara