Difference between r1.1 and the current
@@ -7,3 +7,13 @@
[[조건부,conditional]]
[[제약조건constraint]] - ''혹시 'constraint condition' Ggl:"constraint condition" 을 줄여서 constraint라 하는 것? or constraint는 condition의 일종? qqq'' NN:constraint
----
[[제약조건constraint]] - ''혹시 'constraint condition' Ggl:"constraint condition" 을 줄여서 constraint라 하는 것? or constraint는 condition의 일종? qqq'' NN:constraint
----
Sub:
[[조건명제,conditional_proposition]] - [[명제,proposition]] ?
[[조건문장,conditional_sentence]] - [[문장,sentence]] ? 이둘필요? 삭제무방.
{
이건 p→q꼴의 명제. 이것의
* [[역,converse]]: q→p // [[converse_statement]]?
* [[이,inverse]]: ￢p→￢q // [[inverse_statement]]?
* [[대우,contraposition]]: ￢q→￢p // ?
see also WpEn:Contraposition
}
tbw
MKL
CURR GOTO condition
조건부,conditional
제약조건constraint - 혹시 'constraint condition'
constraint condition 을 줄여서 constraint라 하는 것? or constraint는 condition의 일종? qqq 
constraint
CURR GOTO condition
조건부,conditional
제약조건constraint - 혹시 'constraint condition'
constraint condition 을 줄여서 constraint라 하는 것? or constraint는 condition의 일종? qqq constraintSub:
조건명제,conditional_proposition - 명제,proposition ?
조건문장,conditional_sentence - 문장,sentence ? 이둘필요? 삭제무방.
{
이건 p→q꼴의 명제. 이것의
Contraposition
}
조건명제,conditional_proposition - 명제,proposition ?
조건문장,conditional_sentence - 문장,sentence ? 이둘필요? 삭제무방.
{
이건 p→q꼴의 명제. 이것의
- 역,converse: q→p // converse_statement?
- 이,inverse: ￢p→￢q // inverse_statement?
- 대우,contraposition: ￢q→￢p // ?
Contraposition}