Mantık

2 beğenilme 0 beğenilmeme
98 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? Cevabınızı kanıtlayınız.
6, Mayıs, 2015 Lisans Matematik kategorisinde murad.ozkoc (8,693 puan) tarafından  soruldu
4, Haziran, 2015 murad.ozkoc tarafından düzenlendi

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.

...