漢字・熟語検索サイト

恒真式
[漢検レベル]
4級相当

[読み]
こうしんしき

[意味]
論理学で、ある命題関数の中のすべての関数に、真または偽のどちらを代入しても、その命題関数が真となる場合のその命題関数。