Besonderhede van voorbeeld: 9160380675768339522

English

The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by the rules for introducing them into discourse.

Chinese

逻辑学家格哈德·根岑提议了逻辑连结词的意义可以用把它们介入到论述中的规则给出。