Sembolik Mantık Deneme Sınavı Sorusu #443978
p: Ali mantık dersine düzenli olarak çalışmıştır.
q: Ali tüm alıştırmaları çözmüştür.
r: Ali mantık dersinden geçer. Şeklinde sembolleştirme anahtarı verilmiş olsun. Buna göre “Ali’nin mantık dersinden geçmesinin gerekli bir koşulu, Ali’nin mantık dersine düzenli olarak çalışmış ve tüm alıştırmaları çözmüş olmasıdır” önermesini sembolik önermeler mantığının dilindeki karşılığı nedir?
|
r › p ^ q |
|
~(p ^ ~q) |
|
(~p v q) v r › p ^ q |
|
r › p ^ q v ~(p ^ ~q) |
|
(~p › q) |
(Ali mantık dersinden geçer ( Ali mantık dersine düzenli olarak çalışmıştır Ali tüm alıştırmaları çözmüştür)) ifadesinde, basit önermeler yerine, bize verilen sembolleştirme anahtarına uygun olarak, önerme değişkenlerini koyarsak aşağıdaki sembolik önerme elde edilir:
(r › (p ^ q))
İşlem önceliği kurallarına göre, bu sembolik önermede geçen hiçbir parantezin kullanımı gerekli olmadığından, kurallara uygun olarak, (r › (p ^ q)) sembolik önermesini r › p ^ q biçiminde yazabiliriz.
Yorumlar
- 0 Yorum