Please enable JavaScript.
Coggle requires JavaScript to display documents.
MANTIK - Coggle Diagram
MANTIK
ÖNERMELER
-
Önermeler genellikle p, q, r, s, t gibi küçük harflerle gösterilir.
-
Bileşik Önermeler
TANIM: İki veya daha çok önermenin "ve", "veya", "ise", "ancak ve ancak" gibi bağlaçları kullanarak birbirine bağlanmasıyla oluşturulan önermelere bileşik önerme denir.
-
-
-
Aksiyom ve Teorem
Mantık ve matematikte teorem ispatında öncül işlevi gören, doğru olup olmadığı belli olan ve bu nedenle ispatına gerek duyulmayan önermelere aksiyom denir.
Doğruluğu ispatlanması gereken önermelere teorem denir. Bir teoremin verilen kısmına hipotez (varsayım), ispatlanacak olan kısmına hüküm (yargı) denir. Bir teoremin hipotezinden hareketle hükmünün doğru olduğunu göstermeye teoremi ispatlama denir.
Örneğin p ⇒ q, bir teorem ise p, teoremin hipotezi, q ise hükmüdür.
-
Totoloji ve Çelişki
Bir önerme daima doğru (1) değerini alıyorsa totoloji, 0 değerini alıyorsa çelişki denir.
-
-
-
-