 |
Mantıkta De Morgan kuralı nedir? |
De Morgan kuralı, mantıkta ve/veya bağlaçları ile oluşturulmuş bileşik önermeler ve onların değilleri arasındaki ilişkiyi gösteren bağıntıdır.
Amaç
De Morgan kuralı "ve", "veya" bağlaçları ile bağlanmış iki önermenin değil'ini indirgemek için kullanılan bir ilişkidir.
Kural
Buna göre "p veya q önermesinin değili" "p'nin değili ile q'nun değilinin evetlenmesine", "p ve q'nun değili" "p'nin değili ile q'nun değilinin veya'lanmasına" eşittir.
| (p ∨ q)' ≡ p' ∧ q' (p ∧ q)' ≡ p' ∨ q' |
İspat
Aşağıdaki doğruluk tablosunda De Morgan kuralının ispatı gösterilmiştir.
| bileşenler | (p ∨ q)' ≡ p' ∧ q' | (p ∧ q)' ≡ p' ∨ q' | |||
| p | q | (p ∨ q)' | p' ∧ q' | (p ∧ q)' | p' ∨ q' |
| 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 |
Örnek
(p ∧ q')' ∧ (p' ∨ q') bileşik önermeleri De Morgan kuralına göre sadeleştiriniz.
- (p ∧ q')' ∧ (p' ∨ q')
- (p ∧ q')' ≡ p' ∨ q ) De Morgan kuralı
- (p' ∨ q) ∧ (p' ∨ q') ≡ p' ∨ (q ∧ q') Dağılma özelliği
- p' ∨ (q ∧ q' ) ≡ p' ∨ 0 ≡ p'
Kümelerde de De Morgan kuralı vardı.
31.12.2019
p yada q nun değili?
19.10.2019
anlamadım sorunu tam olarak izah edersen
18.11.2019
(P ya da Q)' demek istiyor
27.01.2020
evet bende onu anlamadım
20.08.2020
iyi
22.06.2020
10/10
Bize yardim ettiğiniz için teşekürler
15.11.2020
peki bu kural her zaman mı uygulanıyor mantıkta yoksa özel bir durumu var mı anlamadım
11.11.2020
Soru tipine bagli sen kurali kavrarsan ne demek istedigini nerde kulkandigini da anlarsin:)
20.11.2020
Yada bağlacının de morgan kurallından geçtikten sonraki hali hangi bağlaç olmalıdır arkadaşlar lütfen yardm
26.10.2020
yada da geçerli değil
11.11.2020
İlgili Konu
İlgili Kayıtlar
| 4 26 306 | ||
 |
Bir önermenin değili (olumsuzu) ne demektir? |
|
Bir önermenin değili, o önermenin doğruluk değerinin değiştirilmiş şeklidir. Yani doğru ise yanlış, yanlış ise doğru yapılmasıdır. | ||
| 2 16 70 | ||
 |
Mantıkta dağılma özelliği ne demektir? |
|
Mantıkta dağılma özelliği, ve/veya bağlaçları ile kurulmuş bir bileşik önermenin üçüncü bir önerme ile ve/veya işlemine girmesiyle yeni denk önerme ol.. | ||
| 1 4 210 | ||
 |
Kümelerde De Morgan kuralı ne demektir? |
|
Kümelerde De Morgan kuralı, iki kümenin birleşimi ve kesişimi ile tümleyen işlemi arasındaki bağıntıyı verir. | ||
İlgili Sorular
Benzer Kayıtlar
| 1 5 010 | ||
 |
Kavram ve terim nedir? |
|
Kavram, nesnelerin zihindeki tasarımıdır. Terim ise bir kavramın dil ile ifade edilmesidir. | ||
| 1 10 37 | ||
 |
Aklın ilkeleri nelerdir? |
|
Mantıkta aklın dört temel ilkesi vardır: özdeşlik, çelişmezlik, üçüncü halin imkansızlığı ve yeter - sebep ilkesi. | ||
| 0 0 10 | ||
 |
Mantıkta Aristoteles'in önemi nedir? |
|
Aristoteles ilk kez mantığı sistem haline getiren filozof ve klasik mantığın kurucusudur. | ||
| 0 3 20 | ||
 |
Aristoteles karesi (mantık karesi) nedir? |
|
İki önerme arasındaki karşıtlık, altıklık ve çelişiklik durumunu gösteren tabloya mantık karesi (Aristoteles karesi) denir. | ||
| 1 0 00 | ||
 |
Mantıkta önerme döndürme ne demektir? |
|
Döndürme, önermelere eşdeğer yeni bir önerme yapmaktır. | ||
İlginizi Çekebilir
| 0 0 00 | ||
 |
Felsefe (düşünbilim) ve filozof nedir? |
|
Philosophia; bilgelik arayışı, bilgiyi sevmek, bilgi severlik, araştırmak ve peşinde koşmak, hikmet arayışı anlamlarına geir, filozof da bilgeliğe ula.. | ||
| 1 5 110 | ||
 |
Bilgi Felsefesi (Epistemoloji) nedir? |
|
Bilgi Felsefesi (Epistemoloji) bilginin doğasını, kapsamını, kaynaklarını, koşullarını, türlerini, sınırlarını, değerini ve kökenini araştıran felsefe.. | ||
| 0 10 010 | ||
 |
Arkhe (ilk madde) nedir? |
|
Arkhe, Yunanca'da "başlangıç, ilk" anlamına gelir. Sokrates öncesi Yunan felsefesinden beri felsefi terim olarak "ilke, temel, ana madde, başlangıç ma.. | ||
| 1 2 17 | ||
 |
Eşit küme ve denk küme nedir? |
|
Elemanlarının tamamı aynı olan kümelere eşit küme denir. Eleman sayıları aynı olan kümelere denk küme denir. Her eşit küme aynı zamanda denk kümedir... | ||
| 0 0 010 | ||
 |
Sıralı ikililerin eşitliği ne demektir? |
|
İki sıralı ikili birbirine eşit ise, ikililerin her bir bileşeni karşılıklı olarak birbirine eşit olur. | ||