Mantık Formülleri - Ve , Veya, İse, Ancak ve Ancak Özellikleri

1. "ve" Bağlacı

P ve q önermeleri arasında "ve" bağlacı kullanılarak "p ve q" bileşik önermesini elde etme işlemine "ve" işlemi denir. "p Λ q" ile gösterilir.

P Λ q önermesi p ve önermelerinin her ikisi de doğru iken doğru, diğer durumlarda yanlış olan bir bileşik önermedir. Bu önermeye p ve q önermelerinin kesişimi denir.

Sadece Üyeler Linkleri Görebilir...

P ve q önermelerinin doğruluğu yukarıdaki doğruluk çizelgesinde görüldüğü gibi bileşenlerin doğruluk değerleri olan 1 ve 02ın aritmatik çarpımıdır.( "Λ" ve bağlacının değeri p ve q' nun çarpımıdır)

Özellikler

1.∀ a önermesi için a ∧ a ≡ a dır.
2.∀ a,b önermesi için a ∧ b ≡ b ∧ a
3.∀ a,b,c önermesi için a ∧ (b ∧ c) ≡ (a ∧ b) ∧ c

Matematikteki “∧” bağlacı ile konuşma dilindeki “ve” bağlacı farklı anlamlar taşıyabilir.


2. “veya bağlacı” (Mantıksal Toplama)

P ve q önermeleri arasına “veya” bağlacı kullanılarak “p veya q” önermesini elde etme işlemine denir. “ V “ bağlacı ile gösterilir. P V q önermesinde toplama işlemi geçerlidir.

Sadece Üyeler Linkleri Görebilir...

Özellikleri
Her a,b,c önermesi için
1.a V b ≡ a
2.a V b ≡ b V a
3.(a V b) V c ≡ a V (b V c)


3. İse ( Şart Gerektirme) Bağlacı

P ve q önermelerinden “ p ise q” bileşik önermesini p ve q önermelerinden “p ise q” bileşik önermesini elde etme işlemine şart (ise) işlemi denir ve ( p ⇒ q) şeklinde gösterilir.
p ⇒ q önermesinde p doğru q yanlış iken p ⇒ q yanlış diğer durumlarda doğrdur.

Sadece Üyeler Linkleri Görebilir...

En önemli özelliği her a ve b önermesi için;
a ⇒ b ≡ a' V b dir.

Koşullu Önermenin Karşıtı, Tersi, Karşıtı Tersi

q ⇒ p koşullu önermesine, p ⇒ q önermesinin karşıtı denir.
p′ ⇒ q′ koşullu önermesine, p ⇒ q önermesinin tersi denir.
q′ ⇒ p′ koşullu önermesine, p ⇒ q önermesinin karşıt tersi denir.




4. Ancak ve Ancak bağlacı ve Özellikleri (⇔)

A ve b herhangi iki önerme olmak üzere (a ⇒ b)∧(b⇒a) önermesine koşullu ya da iki yönlü önerme denir.
a ⇔ b bileşik önermesinde a ile b aynı doğruluk değerlerine sahipseler. a⇔b önermesi doğru değer durumlarda yanlıştır.

Sadece Üyeler Linkleri Görebilir...


Önermeler Cebrinin Özellikleri

1. a ∧ (b V c) ≡ (a ∧ b) V (a ∧ c) “∧’ nin “V” üzerine soldan dağılma özelliği”
2. a V (b ∧ c) ≡ (a V b) ∧ (a V c) “V” nin “∧” üzerine soldan dağılma özelliği”
3. t ∧ a ≡ a ∧ t ≡ a
4. ç ∧ a ≡ a ∧ ç ≡ ç
5. ç V a ≡ a V ç ≡ a
6. (a')' ≡ a
7. (t)' ≡ ç, (ç)' ≡ t
8. ( a ∧ b)' ≡ a' V b', (a V b)' ≡ a' ∧ b' ( DE MORGAN)
9. a ⇒ b ≡ a' V b


Uyuşma (Totoloji) Ve Çelişme

Değişkenleri yerine yazılacak her bir önerme için doğru olan önerme ifadelerine totoloji yanlış olan önerme ifadelerine ise çelişme adı verilir.