首先，假言命題「p→q」等價於「非q→非p」。
比如：「如果某人是天津人，那麼一定是中國人」，可翻譯為「天津人→中國人」，即p→q。若已知「某人不是中國人」，則一定可推出「某人不是天津人」，可翻譯為「不是中國人→不是天津人」，即「非q→非p」。可見，「p→q」與「非q→非p」是等價命題，同真同假。很多小夥伴會把這個推理規則稱為「肯前推肯後，否後推否前」
另外，假言命題「p→q」等價於「非p或q」。
這個等價cp是怎麼被**的呢?首先，我們先回顧一下假言命題的矛盾，「p→q」與「p且非q」互為矛盾，「p且非q」的矛盾又是誰呢?非p或q。敵人的敵人就是朋友，矛盾的矛盾就是等價，所以「p→q」和「非p或q」是等價命題，同真同假。
只有…a.才…b. 等價於 只要…b.就…a.；只要…就…是假言命題；
eg：有三個小夥伴吃火鍋，點餐的時候他們對服務員講了如下的話:
甲：只吃鴨血或者不吃藕片
乙：只有不吃海帶，才能吃鴨血
丙：不吃豆腐泡，除非吃藕片
按照三位小夥伴兒的要求，服務員的下列哪種菜品組合一定不符合客人的要求
a.有鴨血和豆腐泡
b.有海帶，沒有藕片
c.有豆腐泡，沒有海帶
d.有海帶和豆腐泡
【答案】：d
解析：甲的話等價於吃藕片推只吃鴨血。乙的推出關係是吃鴨血推不吃海帶。丙的推出關係是吃豆腐泡推吃藕片。可構成連鎖推理吃豆腐泡推出吃藕片推出只吃鴨血推出不吃海帶。代入abc項均符合推出關係，d與推出關係矛盾。故本題選d。
測試知識點
1.軟體生命週期概念 定義，設計，實施，測試，部署，執行，維護。2.v模型 需求分析，概要設計，詳細設計，編碼，單元測試，整合測試，系統測試，驗收測試。3.軟體測試的原則 1 測試顯示缺陷的存在 2窮盡測試是不可能的 3測試盡早介入 4缺陷集 群性 80 20 原則 5 殺蟲劑悖論 6測試活動依賴於...
測試知識點
測試用例八大要素 專案名稱 用例編號 用例標題 重要級別 預置條件 測試輸入 操作步驟 預期結果 模組描述 xx專案 xx模組 提交時間 測試人 測試時間 測試環境 測試工具 功能描述 xx專案 xx模組 xx功能 用例目的 前提條件 輸入 動作 期望的輸出 實際情況 期望輸出和實際比較 功能測試點...
軟體測試知識點
基本要求 1.熟悉軟體質量 軟體測試及軟體質量保證的基礎知識 2.掌握 檢查 走查與評審的基本方法和技術 3.掌握白盒測試和黑盒測試的測試用例的設計原則和方法 4.掌握單元測試和整合測試的基本策略和方法 5.了解系統測試 效能測試和可靠性測試的基本概念和方法 6.了解物件導向軟體和web應用軟體測試...