Aşağıdaki sembolik mantık ifadelerinden hangisi "p ve q" önermesinin olumsuzunu ifade eder?
A) \( p \vee q \)
B) \( \neg p \wedge \neg q \)
C) \( p \rightarrow q \)
D) \( \neg (p \wedge q) \)
Merhaba sevgili öğrenciler,
Bu soruda, "p ve q" önermesinin olumsuzunu (değilini) sembolik mantık ifadeleriyle nasıl göstereceğimizi bulmamız isteniyor. Adım adım inceleyelim:
- 1. "p ve q" önermesini sembolik olarak ifade edelim:
- Mantıkta "ve" bağlacı $\wedge$ sembolü ile gösterilir.
- Dolayısıyla, "p ve q" önermesi $p \wedge q$ şeklinde yazılır.
- 2. Bir önermenin olumsuzunu (değilini) nasıl alırız?
- Bir önermenin olumsuzunu almak için o önermenin önüne $\neg$ (değil) sembolünü koyarız.
- Örneğin, "p" önermesinin olumsuzu $\neg p$ şeklindedir.
- 3. "p ve q" önermesinin olumsuzunu ifade edelim:
- "p ve q" önermesini $p \wedge q$ olarak belirlemiştik.
- Bu önermenin olumsuzunu almak için, tüm ifadenin önüne $\neg$ sembolünü koyarız.
- Bu durumda, "p ve q" önermesinin olumsuzu $\neg (p \wedge q)$ şeklinde yazılır. Parantez kullanmak önemlidir, çünkü $\neg$ sembolü tüm $(p \wedge q)$ ifadesini olumsuzlar.
- 4. Seçenekleri inceleyelim:
- A) $p \vee q$: Bu ifade "p veya q" anlamına gelir. Bu, "p ve q" önermesinin olumsuzu değildir.
- B) $\neg p \wedge \neg q$: Bu ifade "p'nin değili ve q'nun değili" anlamına gelir. De Morgan kurallarına göre bu ifade, $(p \vee q)$ önermesinin olumsuzuna denktir, yani $\neg (p \vee q)$. Dolayısıyla, "p ve q" önermesinin olumsuzu değildir.
- C) $p \rightarrow q$: Bu ifade "p ise q" anlamına gelir. Bu, bir koşullu önermedir ve "p ve q" önermesinin olumsuzu değildir.
- D) $\neg (p \wedge q)$: Bu ifade tam olarak "p ve q'nun değili" veya "p ve q'nun olumsuzu" anlamına gelir. Bu, aradığımız ifadedir.
Bu adımları takip ettiğimizde, "p ve q" önermesinin olumsuzunu ifade eden seçeneğin D olduğunu açıkça görüyoruz.
Cevap D seçeneğidir.
