社名は前身の「日本テレサーチ株式会社」に由来する。そのため、日本テレビ放送網(日本テレビ:日テレ)(日本テレビホールディングス)や日本テレビ共聴(東京都中央区に存在する設備工事業)とは何ら関係はない。真夜中の子羊亀梨和也人物.野球に関するエピソード.大人になってからも地元の江戸川区からプロ野球選手が生まれることを願い、リーグの全チームに毎年ボールを寄付している。その他のエピソード.漫画家でありイラストレーターであるわたせせいぞうの大ファンで、絵を自宅に飾り、毎日寝る前に眺めるほどだという。出演.※主演作品は太字表記演出.自身が出演していないものを記載する。作品.その他.東和大学附属昌平高等学校山岡りえホジャ・アフメッド・ヤサウィ廟人工言語のリスト腋固めラヴひな論理式(数学)命題論理.命題論理の論理式はとも呼ばれ、例えば『』といった形で表現される。命題論理式は、と論理演算を表す記号と括弧で定義され、命題変数を表すアルファベットは論理演算記号や括弧を含まないものとされる。論理式はそれらを並べたものである。論理式は次のように再帰的に定義される。この文法を使って次のような記号列が記述できる。これは、文法的に正しいので論理式である。一方、こちらは文法に従っていないので論理式ではない。という論理式は次のようにも表現できる。述語論理.次に原子論理式が定義される。最後に論理式は、原子論理式の集合を含む最小の集合として次のように定義される。原子論理式と開論理式.原子論理式とは、論理結合子や量化子を含まない論理式、あるいは厳密な部分論理式を持たない論理式である。原子論理式の厳密な形式は、どんな形式体系のものかで変わってくる。例えば命題論理での原子論理式はである。一階述語論理では、項である引数を伴った述語記号が原子論理式である。量化子を伴わず、論理結合子のみを使って原子論理式を結合した論理式を「開論理式」と呼ぶこともある。閉論理式.閉論理式または文とは、自由変数がない論理式を指す。一階述語論理の論理式に変数が出現する場合、閉論理式とするためにはそれぞれの変数に対応して束縛作用素(量化子など)を前置する必要がある。語誌.