Son etiketlenen sorular evrensel-niceleyici - Matematik Kafası

Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu

0 beğenilme 0 beğenilmeme

0 cevap

$p(x)$ ve $q(x)$, konu evreni $E$ olan iki açık önerme olmak üzere $$(\forall x p(x)\vee \forall x q(x) )\Rightarrow \forall x (p(x) \vee q(x) )$$ koşullu önermesinin bir gerektirme olduğunu gösteriniz. Karşıtı her zaman doğru mudur? Yanıtınızı kanıtlayınız.

28 Şubat 2021 Lisans Matematik kategorisinde murad.ozkoc (11.5k puan) tarafından soruldu | 617 kez görüntülendi

2 beğenilme 0 beğenilmeme

1 cevap

$p$ herhangi bir önerme ve $q(x)$, konu evreni $E$ olan bir açık önerme olmak üzere $$(p\vee \forall x q(x) )\Leftrightarrow \forall x (p \vee q(x) )$$ önermesi bir totoloji midir? Yanıtınızı kanıtlayınız.

6 Mayıs 2015 Lisans Matematik kategorisinde murad.ozkoc (11.5k puan) tarafından soruldu | 954 kez görüntülendi

Daha fazlasını görmek için, tüm soruların listesine veya popüler etiketlere tıklayınız.

20,284 soru

21,823 cevap

73,508 yorum

2,568,763 kullanıcı