全國辦理
歡迎來到好順佳財稅一站式服務(wù)平臺!
138-2652-8954
全部服務(wù)
全國辦理
歡迎來到好順佳財稅一站式服務(wù)平臺!
全部服務(wù)
好順佳集團(tuán)
2023-02-22 08:34:24
5828
代賬2.7元/天 · 注冊會計師代賬
好順佳設(shè)立于2010年，經(jīng)工商局、財務(wù)局、稅務(wù)局核準(zhǔn)成立
工商財稅正規(guī)有保障。 信息保密、標(biāo)準(zhǔn)記賬憑證 >領(lǐng)取30天免費(fèi)代賬
你可以進(jìn)入B1號牢房。
負(fù)后效理論(p→q)；q ├ p如果p是q；非q；所以，非P
假言三段論(p→q)；(q → r) ├ (p → r)如果p，則q；r如果q；所以如果p是r。
選擇性三段論(p∨q)；p ├ q不是p就是q；不是p；所以，問
創(chuàng)造性困境公式(p→q)∧(r→s)；(p ∨ r) ├ (q ∨ s)如果p，那么q；如果r是s；但不是p就是r；所以，不是Q就是s。
破壞性兩難公式(p → q)∧(r →s)；(q ∨ s) ├ ( p ∨ r)如果p是q；如果r是s；但是它 s不是q就是s；所以，它 不是P就是r。
簡化公式(p ∧ q) ├ p p和q為真；所以，p是真的。
合取式p，q ├ (p ∧ q) p和q分別為真；所以，它們結(jié)合起來就是真的。
增加論點(diǎn)p ├ (p ∨ q) p為真；所以析取公式(p或q)為真。
合成公式(p → q) ∧ (p → r) ├ p → (q ∧ r)若p為q；如果p，r；所以，如果P為真，那么Q和R為真。
德·摩根的否定；;s定律(1) (p ∧ q) ├ (p ∨ q) (p和q)等價于(非p或非q)。
德·摩根的否定；;s定律(2) (p ∨ q) ├ (p ∧ q) (p或q)等價于(非p和非q)。
交換律(1) (p ∨ q) ├ (q ∨ p) (p或q)等價于(q或p)。
交換律(2) (p ∧ q) ├ (q ∧ p) (p和q)等價于(q和p)。
結(jié)合律(1) p ∨ (q ∨ r) ├ (p ∨ q) ∨ r p或(q或r)等價于(p或q)或r
結(jié)合律(2) p ∧ (q ∧ r) ├ (p ∧ q) ∧ r p和(q和r)等價于(p和q)和r
分布律(1) p ∧ (q ∨ r) ├ (p ∧ q) ∨ (p ∧ r) p和(q或r)等價于(p和q)或(p和r)。
分布律(2) p ∨ (q ∧ r) ├ (p ∨ q) ∧ (p ∨ r) p或(q和r)等價于(p或q)和(p或r)。
雙重否定定律p├p p p等價于非p否定。
換位定律(p → q) ├ ( q → p)如果p是q，等價于如果不是q，就不是p
實(shí)質(zhì)蘊(yùn)涵定律(P→ Q) ├ (P ∨ Q)如果p，那么q等價于p或q
實(shí)質(zhì)等價定律(1) (p q) ├ (p→ q) ∨ (q→ p) (p等價于q)意思是要么(如果p為真，則q為真)要么(如果q為真，則p為真)。
實(shí)質(zhì)等價定律(2) (p q) ├ (p ∧ q) ∨ (q ∧ p) (p等價于q)意思是要么(p和q都為真)要么(p和q都為假)
輸出定律(p ∧ q) → r ├ p → (q → r)從(若p和q為真，則r為真)我們可以證明(若q為真，則p為真則r為真)。
輸入定律p → (q → r) ├ (p ∧ q) → r
重言式p ├ (p ∨ p) p為真等價于p為真或p為真。
排除中├定律(p ∨ p) p或不p為真。
< 上一篇：會計科目怎么分方向,會計科目的記賬方向
下一篇：會計科目放在哪里比較好,用什么會計科目 >
您的申請我們已經(jīng)收到！
專屬顧問會盡快與您聯(lián)系，請保持電話暢通！
