Banner
Hoşgeldiniz, henüz üye olmamışsınız. Tıklayın, üye olun
.
ÜYE GİRİŞİ
e-mail adresiniz:
şifreniz:
önermeler ile ilgili ödevler
 16,3 Kb / 6 sayfa

denk önermeler

Ödevi indir - Benzer ödevler

evrensel küme,bir kümenin tümleyeni,iki kümenin farkı,açık önermeler

Ödevi indir - Benzer ödevler

evrensel küme,bir kümenin tümleyeni,iki kümenin farkı,açık önermeler

Ödevi indir - Benzer ödevler

tümlemeler,iki kümenin farkı,evrensel küme,açık önermeler

Ödevi indir - Benzer ödevler
 828,5 Kb / 124 sayfa

çember
çember ve elemanları
merkez ve yarıçap
daire
kesen
kiriş
yay
sektör
teğet
merkezi açıklar
önermeler
birinci dereceden bir bilinmeyenli denklemler ve çözümü
denklem
parantezli denklemlerin çözümü
rasyonel katsayılı denklemlerin çözümü
birinci dereceden bir bilinmeyenli denklemle problem çözümleri
birinci dereceden bir bilinmeyenli eşitsizlikler
birinci dereceden bir bilinmeyenli eşitsizliklerin çözümü
simetri çeşitleri
bir doğru üzerinde bulunan noktaların koordinatları
düzlemde bir noktanın koordinatları
birinci dereceden bir bilinmeyenli eşitsizliğin çözüm kümesinin koordinat düzleminde gösterimi
rasyonel sayılar
kesirler
çarpma
bölme
...
....
.....

Ödevi indir - Benzer ödevler
 23,5 Kb / 1 sayfa

yunanlı matematikçi , yorumcu proklos’a göre i.ö. ııı. yy.’da iskenderiye’de yaşadı . yapıtlarının en önemlisi , klasik yunan geometrisinin çok geniş bir birleşimi olan stoikheia’dır (geometrinin öğeleri) . eukleides bu kitapta , açık ortak kavramlar olan birkaç tanım , koyut (çelişkisiz yadsınabilecek varsayımlar) ve belitten gitgide karmaşıklaşan önermeler çıkardı . koyutların açıklıkla formülleştirilmesi , eukleides’in , algılanabilir gerçekliği soyutlama isteğini gösterir ve belit yönteminin ilk uygulamasını oluşturur . mantık çatısının kesinliği , temel kavramların doğru seçimi , tanıtlamalarının açıklığıyla bu yapıt bütün çağlarda matematikçilerin büyük ilgisini çekti ve iki binyılı aşkın bir süre onlara örnek oldu . tümü 13 kitaptan oluşur , bunlara , daha sonra yazılan ve hypsikles’ mal edilen iki...
öklit, öklid

Ödevi indir - Benzer ödevler
 68,5 Kb / 6 sayfa

matematikte teoremler ve önermeler kendilerine özgü bir iç estetiğe sahip ispatlara dayanır. zaten matematiği ispat ve ispat tekniklerinden ayrı olarak düşünmek mümkün değildir. bu sebeple matematikçe sitemin bu bölümünü ispat tekniklerine ayırmak istedim. çeşitli ders notlarımdan ve kitaplardan derlediğim bu çalışmayı lise düzeyinde bilgiye sahip bir öğrencinin anlayabileceği seviyeye getirerek, üniversite hayatına yeni atılacak olan gençlerin de bu heyecanı yaşamasını hedefledim.
ispat tekniklerini genel olarak dört ana başlık altında toplayabiliriz:
1. doğrudan ispat
2. ters durum ispatı
3. olmayana ergi (çelişki) yöntemi
4. tümevarım ile ispat

Ödevi indir - Benzer ödevler

1- aşağıdaki eşdeğerliği tanıtlayınız.
x p(x)  x q(x)  x y (p(x) q(y))

x p(x)  x q(x)  [p(0)  p(1)  p(2) ….]  [q(0)  q(1)  q(2) ….]
sağdan dağılma özelliği kullanılırsa

 [[p(0)  p(1)  p(2) ….]  q(0) ]  [[p(0)  p(1)  p(2) ….]  q(1)]  ……
p(x) ifadesi her x değeri için doğrudur. bundan dolayı aşağıdaki şekilde yazılabilir.

 x (p(x)  q(0))  x (p(x)  q(1))  …….
her x değeri için p(x) doğrudur ama q(x) doğru olmayabilir. ( veya sembolü kullanıldığı için bu sonuca varabiliriz.)

 x y (p(x) q(y))
verilen eşdeğerliğin doğru olduğu gösterilmiş oldu.

2) ç : çarpma , e : eşitlik , b : büyüktür önermelerini göstermektedir.

soruda verilen her ifadedeki önermeler x, y ve z değişkenleri için belirtilmiş genel önermelerdir.dolayısıyla ifadelerin matematiksel yazılımında ifadenin tümü için x y vb. niceleyiciler kullanılacaktır.(eğer belli bir önerme kendi içinde başka niceleyiciler gerektiriyorsa o niceleyiciler ayrıca yazılacaktır.)

Ödevi indir - Benzer ödevler


önermeler ile ilgili arama kombinasyonları