描画 vs. テキスト記述

半形式証明スクリプト 論理

基本概念：

描画 テキスト記述
キャンバス ステージ
ワイヤー 論理式
ケーブル 構造化論理式
ノード 導出
グループボックス プレーンブロック
リーズニングボックス リーズニングブロック
コンステレーション図 導出記述

言い方：

描画 テキスト記述
描く 導入する
見る 確認する
箱を描く ブロックを導入する
  • 導入する ＝ ステージに載せる／置く
  • ステージに居る ＝ オン・ステージ〈オンステ〉である
  • ステージに居ない ＝ オフ・ステージ〈オフステ〉である