Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
2 beğenilme 0 beğenilmeme
639 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.4k puan) tarafından 
tarafından düzenlendi | 639 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,200 soru
21,728 cevap
73,275 yorum
1,887,991 kullanıcı