logical entailment (ssn); logical implication (в логическом программировании ssn)

логическое следование

: 2 צירופים, 1 נושאים

2