逻辑学角度，这两个命题分别是什么种类？写出各自的有效推理式。

由于这两种情况不能同时发生，因此它们是“不相容选言推理”的有效形式：否定-肯定和肯定-否定。

急求逻辑学7类推理的口诀和公式 如题

按思维过程分：可分为演绎推理、归纳推理、类比推理、附加推理等） 1、对应推理：16个有效表达式 SAP→SIPSAP→┐SEPSAP→┐SOPS EP→SOPSEP→┐SAPSEP→┐SIP┐SIP→┐SAP┐SIP→SEP┐SIP→SOP┐SOP→┐SEP┐SOP→SAP┐SOP→S IP┐SAP→SOP┐SEP→SIPSIP→┐SEPSOP→┐SAP2. 规则：改变句子的性质，谓语变成前提中的矛盾概念。
(2) 有效公式：SAP→SEPSEP→SAPSIP→SOPSOP→SIP 转置法 (1) 规则：调换主谓元素的位置。
结论中不允许存在未分布在前提中的元素。
周艳. (2) 有效公式：SAP→PISSEP→PESSIP→PIS。
转置规则：转置时遵循转置规则。
3.三段论。
定义：从包含公共术语的两组属性中派生出一组新属性的推理。
（2）三段论公理：如果所有同类事物都具有（或不具有）某种性质，则该类事物的组成部分也具有（或不具有）某些性质。
(3) 三段论的规则 ① 三段论有且只有三项。
② 中间项至少分配一次。
③ 没有分布在前提中的项，不需要分布在结论中。
④ 二、从某些前提是否不能得出结论。
⑥ 两个特殊前提特殊不能得出结论，结论必须特殊。
（4）三段论的图形及各图形的数字规则第一格：小肯大全第二格：一否大全； 小肯第三格：一无一大全，小肯一特，O句不能作为A前提，不能用1句。
(5)三段论的各公式 每个格子有6个有效公式。
4. 不对称和非传递关系不能用于推理：aRb、∴bRaaRb、∴aRcaRb。
bRc,∴aRb5。
情态论证基于16个有效的对立关系表达式（类似于属性句的对立关系的有效表达式）。
6. 合取思维： 有效表达式：组合 P，q→p∧ q 分解 P∧q→p(q) 7. 析取推理 兼容析取推理 有效公式： 否定 肯定： (p∨q) q→p 不相容析取推理有效公式： 负数 正数： ( p∨q)q→p 绝对不是一个固定的公式 (p∨q)∧q→p8。
假设思维的充分条件： 肯定前件：(p→q)∧p→q 否定结果：(p→q)∧q→p 必要条件、假设、推理、有效公式： 肯定后件形式：( p← q)∧q→p 对先行词形式求反： (p←q)∧p→q 充分必要条件假设思维有效形式： 肯定前件形式： (p——q)∧ q→p 否定结果： (p——q )∧q→p 肯定结果: (p——q)∧q→p 否定先行词： (p——q)∧p→q9 归纳推理： (1) 定义：基于个体（或特殊知识前提引出一般知识结论的推理） (2) 类别：完全归纳推理（结论是必然的）可分为演绎推理、归纳推理和类比推理等不完全推理（或然结论）。

简述基本复合推理的有效形式 逻辑学

由基本复合命题组成的推理主要分为三种类型。
1.联想推理。
它有两种有效形式：分解类型和连接类型。
2. 选言推理又分为相容选言推理和不相容选言推理。
3、假设推理可分为三种：充分条件假设推理、必要条件假设推理、充分条件和必要条件假设推理。
充分条件假设推理有两种有效形式：肯定前件和否定后件。
必要条件假设推理也有两种有效形式：否定前件、肯定后件和充分必要条件假设。
语言推理的四种有效形式：肯定前件、肯定后件、否定前件和否定后件。