Correctheid (logica): verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Zorrobot (overleg | bijdragen)
k robot Erbij: sv:Sund (logik)
Alexbot (overleg | bijdragen)
k r2.5.2) (robot Erbij: ko:건전성 정리
Regel 28:
[[it:Correttezza (logica matematica)]]
[[ja:健全性]]
[[ko:건전성 정리]]
[[mk:Правилност]]
[[pt:Correção]]