一階命題論理を統語論と意味論から爆速で組み立てます。. Contribute to jj1lis/UEC_adCal2022 development by creating an account on GitHub.