BeDict Logo

turnstile

/ˈtɜːnstaɪl/ /ˈtɝnstaɪl/
の視覚的イラスト turnstile: 導出記号、論理的帰結の記号
noun

先生は、一生懸命勉強すれば試験に合格することを示すために、導出記号を使用しました。