Please enable JavaScript.

Coggle requires JavaScript to display documents.

Mantık - Coggle Diagram

- - - - değişme özelliği
        
        p⊻q≡q⊻p
      - birleşme özelliği
        
        p⊻(q⊻r)≡(p⊻q)⊻r
    - - p⇒p 1
      - p⇒q≡p'Vq
      - p⇒1≡1, p⇒0≡p', 1⇒p≡p, 0⇒p≡1, p⇒p'≡p', p'⇒p≡p
      - p⇒q≡q'⇒p'
      - koşullu önermenin
        
        tersi: p⇒q≡p'⇒q'
        
        karşıt tersi: p⇒q≡q'⇒p'
        
        karşıt: p⇒q≡q⇒p
    - - tek kuvvet özelliği
        
        pVp≡p
      - değişme özelliği
        
        pVq≡qVp
      - birleşme özelliği
        
        pV(qVr)≡(pVq)Vr
    - - p⇔q≡(p⇒q)V(q⇒p)
      - p⇔p≡1, p⇔p'≡0, p⇔1≡p, p⇔0≡p'
      - p⇔q≡p'⇔q'
      - (p⇔q)'≡p'⇔q≡p⇔q'
      - (p⇔q)'≡p⊻q
    - - tek kuvvet özelliği
        
        pΛp≡p
      - değişme özelliği
        
        pΛq≡qΛp
      - birleşme özelliği
        
        pΛ(qΛr)≡(pΛq)Λr
    - - pΛ(qVr)≡(pΛq)V(pVr)
    - - pV(qΛr)≡(pVq)Λ(pVr)