Difference between r1.7 and the current
@@ -2,7 +2,12 @@
MKL
[[가정,assumption]]
[[결론,conclusion]] - opp.
[[시퀀트,sequent]]
[[명제,proposition]]
----
Opp.
[[결론,conclusion]]
전제 결론 논증 타당성 사이의 관계.
{
@@ -22,10 +27,8 @@
타당한 논증 : 전제들이 모두 참인 경우 결론 또한 반드시 참인 논증.
}
----
https://proofwiki.org/wiki/Definition:PremiseNdict:premise
전제 결론 논증 타당성 사이의 관계.
{
전제,premise
결론,conclusion
논증,argument
타당성,validity ? =타당성,validity =,validity 타당성 validity
{
{
전제,premise
결론,conclusion
논증,argument
타당성,validity ? =타당성,validity =,validity 타당성 validity
{
타당한 논증 : 전제들이 모두 참인 경우 결론 또한 반드시 참인 논증.
}
}