Please enable JavaScript.

Coggle requires JavaScript to display documents.

MANTIK - Coggle Diagram

- - - - pvq önermesi, önermelerin her ikisi de yanlışken yanlış, diğer durumlarda doğrudur.
  - - - pΛq önermesi, önermelerin her ikisi de doğru iken doğru, diğer durumlarda yanlıştır.
        
        Tek kuvvet özelliği, değişme özelliği, birleşme özelliği, dağılma özelliği, DeMorgan özelliği, Absorbe özelliği
  - - - p⊻q önermesi, önermelerin doğruluk değerleri farklı iken doğru, aynı iken yanlıştır.
        
        Değişme özelliği, birleşme özelliği
  - - - p⇒q önermesi birinci önerme doğru ikinci önerme yanlış olduğunda yanlış, diğer durumlarda doğru olur.
        
        p ile q önermesinin "ancak ve ancak" bağlacı ile bağlanması elde edilen bileşik önermeye p ancak ve ancak q önermesi denir ve p⇔q biçimde gösterilir.
        
        p⇔q önermesi, önermeler aynı doğruluk değerine sahip olduğunda doğru, diğer durumlarda yanlıştır.
        
        p⇔q≡(p⇒q)Λ(q⇒p)
- - - - Bir teoremin verilen kısmına hipotez (varsayım), ispatlanacak olan kısmına hüküm (yargı) denir.