Yn84 skrev 2011-12-22 16:11:26 följande:
Nä, men så skulle det vara...

Som sagt, det beror på vem man frågar .. Det skulle säkert och absolut vara så på ett korrekt vis.
Tydligen definierar en del fel då ;)
I
formella system används
härledningsregler för att reglera konsekventa beteenden mellan
symboler, baserade på deras inbördes
mening. Om ett formellt system avser att avbilda fysiska förhållanden måste härledningsreglerna även avbilda den reella världens konsekvensrelationer så att (de reella förhållanden) avbildande kombinationerna av symboler också får samma inbördes relationer. Detta kallas då ofta för
logisk konsekvens, en slutsats som är formellt korrekt (är en konsekvens) i det formella systemet, men vars kvalité (avbildning av reella förhållanden) beror på hur väl symbolernas mening och härledningsreglerna har fångat den reella verklighetens egen mening och konsekvens.