重言蘊含 邏輯學 概念
基本介紹
- 中文名：重言蘊含
- 概念：重言蘊含
- 判斷：判斷重言蘊含
定義,套用,
定義
重言式（Tautology ）又稱為永真式
設p、q為兩個命題。複合命題"如果p，則q"稱為p與q的蘊含式，記作p→q。並稱p為蘊含式的前件，q為後件。並規定p→q為假若且唯若p為真q為假。
性質
重言式有一個重要的邏輯特徵，永遠真實。
意思是：不論邏輯變元怎么取值，蘊含式總體的值總是真的。
這樣，我們可以去通過檢查一個蘊含式，在其邏輯變元所有取值的情況下，有怎樣的真值情況，來判斷它是否重言蘊含。
很明顯，在一切情況下蘊含式的值都是真的， 該蘊含式就是重言蘊含式，否則，不是重言蘊含式。
套用
邏輯學基礎考試
