MATHEMATICAL LOGIC

Logic

Mantık, mantıksal tutarlılık.

Compound

Bileşik, karmaşık, birleşik / oluşturmak, artırmak, şiddetlendirmek.

Equivalence

Denklik, eşdeğerlilik.

Central

Merkezî, en önemli, temel, odak noktasında olan.

Concept

Kavram

Sequence

Dizi, sıralama, ardışıklık / sıralamak.

Demonstrate

Göstermek, kanıtlamak, gösteri yapmak

Truth

Gerçek, doğruluk.

Assertion

İddia, sav.

Preceding

Önce gelen, bir önceki.

Premises

Öncüller, dayanaklar.

Confidence

Güven, özgüven, sır, gizlilik.

Conclusion

Sonuç, netice, varılan yargı.

Acceptable

Kabul edilebilir, uygun, makul.

Merit

Erdem, üstünlük, değer, hak ediş

On one's own

Kendi başına, kimseden yardım almadan

On their own

Kendi başlarına, kendi kendilerine, bağımsız olarak.

Blank

Boşluk, boş sayfa / boş, doldurulmamış

Represent

Temsil etmek, simgelemek, anlamına gelmek, ifade etmek.

Common

Yaygın, ortak, bilinen / ortak kullanım alanı.

Letter

Harf

Component

Bileşen, parça, öğe.

Major

Büyük, önemli, ana, esas / anabilim dalı, uzmanlık alanı, binbaşı.

To have confidence in

-e güven duymak / ...den emin olmak

To draw a conclusion

Bir sonuç çıkarmak / neticeye varmak

follow from

bir şeyden türemesi veya çıkması

Intuitive

Sezgisel / İçgüdüsel

Educated

Eğitimli, tahsilli.

Exist

Var olmak

Avoid

Kaçınmak, önlemek, kaçınarak sakınmak.

Ambiguity

Belirsizlik, muğlaklık, çift anlamlılık.

Obtain

Elde etmek, edinmek, sağlamak.

Consistency

Tutarlılık, istikrar.

By using those

şunları kullanarak

Are defined

tanımlanır

Previously

Önceden, daha evvel.

Process

Süreç, işlem, gidişat.

Somewhere

Bir yerlerde, bir yere.

Initial

İlk, başlangıçtaki.

Necessarily

Kaçınılmaz olarak, mecburan, ister istemez.

Remain

Kalmak, (olduğu gibi) sürdürmek.

Undefined

Tanımlanmamış, tanımsız.

Proposition

Önerme, iddia, teklif.

negation of p

p’nin değili

Conjunction

Bağlaç, bağlama, birleştirme; mantıkta "ve" (∧) işlemi.

Disjunction

Disjonksiyon / "Veya" bağlacı.

Performed

Gerçekleştirilen, yapılan, icra edilen.

Ordinary

Sıradan

Algebraic

Cebirsel

Overridden

Geçersiz kılınan, ezilen, bastırılan, üstüne yazılan.

Thus

Böylece, bu nedenle, bu yüzden, dolayısıyla.

Letting

Kabul ederek, varsayarak, -mesine izin vererek; (matematikte) "-olsun" diyelim ki.

Neither x nor y

Ne x ne de y

Such

Böyle, şu, öyle, bu nitelikteki, öyle ki.

Well-defined

İyi tanımlanmış, net, kuralları ve sınırları kesin olarak belirlenmiş.

Either

Herhangi biri

Variable

Değişken

Opposite

Zıt

Negation

Değilleme

Conjunction

Ve bağlacı

Disjunction

Veya bağlacı

Exclusive Or

Ya da bağlacı

Logical Equivalence

Mantıksal denklik

Tautology

Totoloji (Tüm durumlarda True çıkan ifade)

Contradiction

Çelişki (Tüm durumlarda False çıkan ifade)

Conditional Statement

Koşullu önerme ("If p then q")

Hypothesis

Hipotez / Öncül

Conclusion

Sonuç

Vacuously True

Boşuna doğru (Hipotez yanlış olduğu için otomatik doğru kabul edilen durum)

Biconditional

İki yönlü koşullu önerme ("If and only if")

Contrapositive

Karşıt tersi (Orijinal önermeye mantıksal olarak denktir)

Inverse

Karşıtı

Rule of Inference

Çıkarım kuralı