Gerektirme Nedir? Matematikte Gerektirme Ve Çift Gerektirme Örnekleri Nelerdir?

Gerektirme terimi matematik terimleri arasında yer alan bir kelimedir. Konu olarak da matematiğin mantık konusunda öğrencilere öğretilir. Konuda önermelere yer verilir. Aynı zamanda gerektirme konusunun çift gerektirme gibi alt başlık konuları da mevcuttur. Örnekleri ile yazıda anlatılmıştır.

Gerektirme Nedir?

Matematik terim olarak mantık konusunun içinde yer alan gerektirme, önermeden oluşur. Oluşan önermede gerektirme olması için bazı koşulların sağlanması gerekir. Bu koşul bütün koşullarda doğru yani 1 değerini sağlamasını içermektedir. Eğer bir önermenin bütün koşulları 1 değerini karşılamıyorsa bu önermeye gerektirme içeriyor denemez. Gerektirme olabilmesi için önermenin bütün koşullarının 1 değerini karşılaması gerekir.

Matematikte Gerektirme ve Çift Gerektirme Örnekleri Nelerdir?

Gerektirme önermelerinde, p=> q sembolü baz alınır. Bu sembolde doğruluk değeri her zaman 1 çıkıyorsa her zaman doğru bir önermedir denir. Gerektirme budur.

Çift gerektirme ise bu sembolden hareketle p q bu sembolde yer alan çift yönlü önermeyi oluşturmaktadır. Çift yönlü olan bu önermenin doğruluk değeri her daim 1 çıkıyorsa çift gerektirme önermesi olarak bilinir.

Konuya örnekler:

1. örnek:
p: _7_ ( _18 ) = 11 dir.
q: 11 bir asal sayıdır.
Verilen bu önermelere göre p q önermesinin çift gerektirme olduğunun gösterimi şöyledir:
p önermesinin doğruluk değeri 1 dir. q önermesinin de doğruluk değeri 1 dir.
p q denktir 1 çift yön 1 denktir 1 olduğundan dolayı p q önermesi bir çift gerektirme önermesidir.

2. örnek:
Ali İzmir'de ise Ali Türkiye'dedir. Koşullu önermesi bir gerektirme örneğidir.
p q önermesinin doğruluk değeri 1 olduğu taktirde çift yönlü gerektirme denmektedir.

3. örnek:
Bir üçgen eş kenar üçgendir sadece ve sadece üçgenin iç açıları eşit ise.
Bu birleşik bir önermedir. Bu birleşik önerme aynı zamanda bir çift gerektirme örneğidir.