ÖNEMLİ NOT: Doğruluk değerleri aynı olan iki önermeye denk önermeler denir. p önermesi q önermesine denk ise p ≡ q , p önermesi q önermesine denk değil ise “ p ≢ q ” ile gösterilir.
İki önerme, kendilerini oluşturan bileşenlerinin tüm doğruluk değeri kümesi için aynı doğruluk değerin sahipse bu iki önerme mantıksal eşdeğerdir denir. P ve Q 'ya iki bileşik önerme dersek, P ve Q mantıksal eşdeğerse P ≡ Q veya P ⇔ Q şeklinde gösterilir.
İki yönlü koşullu önerme (Ancak ve ancak) İki yönlü koşullu önerme iki mantıksal değerin, ikisi de doğru veya ikisi de yanlış olması halinde doğru , diğer durumlarda yanlış değeri veren bağlaçtır. Yani p ↔ q 'nun sonucu, p ve q aynı mantıksal değerdeyse doğru , farklı ise yanlıştır.
Yani ise bağlacı ile kurulmuş olayın ilk önermesinin değili alınır, araya veya sembolü konur ve ikinci önerme q sabit kalır. Bu kural ile sorudaki işlemleri yapacak olursak, p ⇒ q' ≡ p' ∨ q' olur. Bir de bunun değili parantez dışında alınmıştır.
N tane önermenin doğruluk değeri için alabileceği 2n tane farklı durum vardır. tarihinde Wayback Machine sitesinde arşivlendi. Bir önermenin olumsuzuna önermenin değili denir. Bir p önermesinin değili ~p veya p' ile gösterilir. tarihinde Wayback Machine sitesinde arşivlendi.
Doğru , bir önermenin bir başka önerme ile tutarlılığıdır, bir önerme ile bir şey arasındaki ilişki değildir. Doğru , realitenin bir kopyesi değildir.
Kesin olan cümleler yanlış veya doğru da olsa önermedir; yani cümlenin yanlış veya doğru olduğunun bilinmesi gerekmez, doğrulanabilir olduğunun bilinmesi yeterlidir. Soru tümceleri önerme olamaz çünkü bir soru doğruluk ifade etmez.
Açık önerme , doğruluk değeri değişkenlere bağlı olarak değişen önermelerdir.
P yanlış , q doğru ise : "Yağmur yağmazsa yerler ıslanır", bu her ne kadar yanlış gibi görünse de yağmurun yağmaması durumunda da yerler başka bir şekilde ıslanabilir. Dolayısıyla bu da doğrudur. İkisi de yanlış ise :"Yağmur yağmazsa yerler ıslanmaz", bu durum da doğrudur,yağmur yağmazsa yerler ıslanmayabilir.
Önerme doğru ise doğruluk değeri D veya 1, yanlış ise doğruluk değeri Y veya 0 olur. Bu önerme çeşileri tek yargı belirttiği için basit önermedir. Bileşik önermeler iki veya daha çok yargıyı birleştiren önermelerdir.
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. p ⇒ q, bir teorem ise p, teoremin hipotezi, q ise hükmüdür.
Bir önermenin olumsuzuna önermenin değili denir. Bir p önermesinin değili ~p veya p' ile gösterilir .
Doğruluk değeri bilinmese de kesin hüküm bildirip, doğru veya yanlış olan cümleler önermedir. Örnek 1: "her çift sayı iki asal sayının toplamıdır" cümlesi Goldbach Sanısı adıyla bilinen, doğruluğu ya da yanlışlığı ispatlanamamış bir önermedir.
Önermesel Doğru : Epistemoloji'de doğru kavramı önemli bir yer tutar. Biz insanların iddiaları karşısında, "bu söylediğin yanlış" veya "bu doğru bir iddiadır" gibi ifadeler kullanırız. Bir önerme için doğru nitelemesini kullanmak, onun dünyada olan olgularla uyum içinde olduğunu belirtme anlamını taşır.
Klasik mantık açısından önermeler dörde ayrılırlar: tümel olumlu, tümel olumsuz, tikel olumlu ve tikel olumsuz.
İse (⇒): İki basit önermenin "ise" ile bağlanmasıyla oluşan ekleme koşul önermesi denir. Koşul önermesinde ön bileşen doğru, sonraki bileşen yanlış değer almışsa bileşik önerme yanlış değer alır. Diğer durumlarda önerme doğru değer alır.
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. p ⇒ q, bir teorem ise p, teoremin hipotezi, q ise hükmüdür.
Örneğin Ayşe Çalışkandır ifadesinde çalışkandır yerine F yazılır. Niceleme mantığında tüm, her, hepsi gibi tümel evetleme ifadesi ∀ ile gösterilir. Bütün kuşlar kanatlıdır ifadesi ∀aFa olarak gösterilmektedir. Aynı şekilde tikel evetlemede bazı, bir kaçı, kimi gibi ifadeler ise ∃ ile gösterilmektedir.
Bir bileşik önerme , kendisini meydana getiren her değer için daima doğru olduğunda bu bileşik önerme türü totoloji olarak ifade edilir. Daima yanlış olması halinde bileşik önermeye çelişki denilmektedir.
SON YAZILAR
Bütün bilimlerin oluşup gelişimine neden olan hangi bilim ile fizik bilim i..
Yıldız Tilbe kimdir nerelidir?
Teknik analizde bar nedir?
Finansbank 03663 Şube kodu neresi?
Dalaman nasıl bir yer?
Bebeğin süt emdiğini nasıl anlarız?
Izmir Altındağ nereye bağlı?
67 derece 49 32 kuzey neresi?
Ah Nerede Vah Nerede başrol oyuncuları?
Kıyafetlerdeki tüylenme nasıl giderilir?
P ise q nun değili nin değili nedir?
Istanbul Küçükyalı hangi semtte?
Istanbul sosyal tesisler bayramda açık mı?
Hepsiburada garanti nasıl oluyor?
Aşureye yer fıstığı konulur mu?
Termosifon emniyet ventili kaç bar?
Serdar Ali Çelikler nereden kovuldu?
Cunda Ayvalık arası kaç kilometre?
Kızıl Elma dizisi kaç bölüm oynadı?
Allah sağlık sıhhat versin ne demek?
Kullanıcı adı ve şifremi nasıl öğrenebilirim?
Tirilye hangi ilimize bağlı?
Nah el hareketi ne anlama gelir?
Stolk ne demek?
18 yaşında olan biri kaça gider?
Abazalar Türk mü?
Halis Bayancuk Kürt mü?
Hazır mantı nasıl yapılır Salcali?
Mikroskobu ilk bulan bilim insanı kimdir?
Bir kolinin metreküp nasıl hesaplanır?
Yüzbaşı rütbesi kaç yaşında alınır?
Patlamış mısır haşlanır mı?
Sivilcenin üzerine vazelin sürülür mü?
Müsabaka öncesi son öğün nasıl olmalıdır?
288 TL trafik cezası nedir?
Dünya ile Ay arasındaki mesafe kaç km?
En eski iletişim yöntemi nedir?
MTA nedir ne zaman kuruldu?
0505 li hat hangi operatöre ait?
Istanbul depremi Bursa'yı etkiler mi?