13 59
Mantıkta veya bağlacının özellikleri nelerdir?

Veya mantıksal işleminin tek kuvvet, değişme, birleşme özellikleri vardır.

Kural
Modern mantıkta "veya" önerme eklemi ile kurulan bir bileşik önermenin doğruluk değeri, öncüllerden (ön ve art bileşenler) en az birinin doğru olduğu koşulda doğru olur.

Tek kuvvet özelliği
Bir önermenin kendisi ile veya'lanması kendi doğruluk değerine eşittir.
 
p ∨ p ≡ p
1 ∨ 1 ≡ 1
0 ∨ 0 ≡ 0

Değişme özelliği
Veya ile oluşturulmuş bir bileşik önermede önermelerin sıralamasının değişmesi sonucu değiştirmez.
 
p ∨ q ≡ q ∨ p
1 ∨ 0 ≡ 0 ∨ 1

1 ile veya'lame
Bir önermenin 1 ile veya'lanmesı 1'e eşittir.
 
p ∨ 1 ≡ 1
1 ∨ 1 ≡ 1
0 ∨ 1 ≡ 1

0 ile veya'lame
Bir önermenin 0 ile veya'lanması kendi doğruluk değerine eşittir.
 
p ∨ 0 ≡ p
0 ∨ 0 ≡ 0
1 ∨ 0 ≡ 1

Değili ile ve'leme
Bir önermenin değili ile veya'lanması 1'e eşittir.
 
p ∨ p' ≡ 1
1 ∨ 0 ≡ 1
0 ∨ 1 ≡ 1

Birleşme özelliği
Değişme özelliğinin bir uzantısı olarak, yalnızca veya'lardan oluşan bir bileşik önermede parantez işaretinin yerinin değişmesi sonucu etkilemez.
 
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
(1 ∨ 0) ∨ 0 ≡ 1 ∨ (0 ∨ 0)

"veya" bağlacının "ve" bağlacı üzerine dağılma özelliği için tıklayınız.

Örnek
Aşağıda "veya ∨" bağlacının kullanımı ile ilgili örnekler verilmiştir.
  • 1 ∨ (0 ∨ 1) ≡ 1 ∨ 1 ≡ 1
  • (1 ∨ 1) ∨ (0' ∨ 1) ≡ 1 ∨ 1 ≡ 1
  • 1 ∨ (r ∨ r) ≡ 1 ∨ r ≡ 1
  • (0' ∨ s) ∨ (s ∨ 1) ≡ 1 ∨ 1 ≡ 1
  • (t ∨ r) ∨ (t' ∨ r') ≡ (t ∨ t') ∨ (r ∨ r') ≡ 1 ∨ 1 ≡ 1
Bu alana not ekleyebilirsiniz.
Başka bir sorunuz mu var?
Yorumlar (1)
Katılıyor musun?
24

Güzel bir uygulama


07.10.2020

8/10

Bu Yoruma Cevap Yaz


İsmi nedir? Uygulamanın. Söyler misiniz?

08.10.2020



Henüz telefon uygulaması yok, siteden bahsediyor sanırım.

08.10.2020

İlgili Konu
Modern Mantık
İlgili Kayıtlar
İlgili Sorular
Benzer Kayıtlar
İlginizi Çekebilir