Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
2 beğenilme 0 beğenilmeme
942 kez görüntülendi
$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.
Lisans Matematik kategorisinde (11.5k puan) tarafından 
tarafından düzenlendi | 942 kez görüntülendi

Sitede bir sorun var sanırım.

ozellikle baska bir yerde yazip buraya kopayalayinca obur tarafin formatini unutamiyor yazi, burada sapitiyor. gmailde yazdigim uzun yanitlari buraya copy paste ettigimde bu sorunla karsilastim. metni kopyalayip adres cubuguna yapistirinca format mormat kalmiyor. adres cubugundan kopyalayip tekrar siteye yapistirinca duzeliyor.

Teşekkür ederim.

Ben de not defterine kopyalayıp yapıyorum onu :)

Evet kopyala yapistir surecinde siklikla sorun cikiyor. Baska bir yerde yazanlari once not defteri gibi bir yere yapistirip sonra buraya yapistirinca sorun genellikle cozuluyor.

1 cevap

0 beğenilme 0 beğenilmeme
Evet

$ p  \lor \forall xq(x) \leftrightarrow \forall x (p \lor q(x))   $

$ p  \lor \forall xq(x) \leftrightarrow \forall x (p ) \lor \forall x q(x))   $

$ p  \lor \forall xq(x) \leftrightarrow p  \lor \forall x q(x))   $
(1.6k puan) tarafından 
20,282 soru
21,821 cevap
73,503 yorum
2,527,034 kullanıcı