形式 けいしき論理 ろんり がく
keishikironrigakude

Noun
Da Copula

て-form: Used to connect clauses, make requests, or chain actions of 形式論理学

1. Formal logic in

Te-Form