Please enable JavaScript.

Coggle requires JavaScript to display documents.

理則學 4 (2020/12/30) - Coggle Diagram

- - - - 肯定前件>>肯定後件
    - - 否定後件>>否定前件
    - - p v q >>非p 則 q
    - - p則q q則r 所以 p則r
        
        前件後件相連
  - - - p&q (若真)>> p(為真)
    - - p >> p v q
    - - p, q >> p&q
    - - p則q r則s p v r >>> q v s
  - - - ㄖ
  - - - 不可能出現前提為真結論為假
- - - - ~~p=p
    - - ~(p&q)=~p v ~q
    - - p&q=q&p
    - - (p v q) v r = p v (q v r)
    - - p v (q & r)= (p v q) & (p v r)
  - - - p 則 q = ~p v q
    - - p 則 q = 非p則非q
    - - p則(q則r) = (p & q) 則r
    - - p & p = p
    - - P == q = (p則q) & (q則p)
      - P == q = (p&q) v (~p & ~q)
        
        增值表
- - - - 把B變成前提
- - - - （r& ~r)