4-1 · 甘培忠、赵文冰：《对公司决议效力的一些思考——析〈最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（四）〉（征求意见稿）中的相关规定》，载《法律适用》2016年第8期，第53页。
对于《公司法解释四（征求意见稿）》第1条规定请求确认决议有效的安排，理论界存在种种争论，实践中又属于罕见的情形。当一项公司的决议被做出，公司的董事会、董事或者经理部门怠于执行该决议，从而对相关方的利益形成损害时，该利益主体可以请求公司执行决议、履行义务，没有必要先行提起决议有效的诉讼。在某主体提...

4-1 · 石少侠：《 对 〈〈公司法〉 司法解释 ( 四) 〉若干规定的理解与评析》，载《当代法学》2017年第6期，第100页。
起草中分歧和争议的焦点主要集中在要不要规定决议有效之诉。对此，笔者的基本观点是:
第一，并不否认在司法审判实践中确有提起确认决议有效之诉的事实，但在此类诉讼中原告大都是以决议有效为既定事实，直接诉请判令被告承担不履行有效决议的责任，而并非将确认决议有效作为单一诉由。
第二，决议效力基本上属于公司自治的范畴，如果决议生效，股东既不主张决议无效或撤销，也不履行生...

4-1 · 尽管在逻辑上用同样的x标识可以，但是不符合阅读习惯与标识方便

4-1 · S里没有x，可以不作为辖域

4-1 · 基本等价定律

4-1

4-1 · 依旧蕴含关系

4-1 · 谓语公式的等价演算

4-1 · 下面的可理解为合取为0，存在0既是合取为0，所以后件存在01可能性

4-1 · 前件为0，后件不影响真值判断