Matematik

En az bir elemanın var olduğunu bildiren niceleyici.

Doğruluk değeri her durumda ve yorumda 1 olan bileşik önermedir.

Bire bir ve örten fonksiyondaki ikililerin simetrileri alınarak tanımlanan fonksiyon.

Tanımlamadan kullanılan terim.

Doğal sayı ya da bir doğal sayının toplama işlemine göre tersi.

Elemanları sayılabilen ve eleman sayısı sonlu olmayan küme.

Sayılabilen, sonlu sayıda elemanı olan kümelere denir.

Yansıma, ters simetri ve geçişme özelikleri olan bağıntı.

Sıfırdan büyük olan doğal sayılardır.

Görüntü kümesi bir elemanlı olan fonksiyon.

Sayılabilen, sonlu elemanlı bir kümeden yine bu kümeye tanımlanan bire bir (ve örten) fonksiyondur.

a ile b gerçek sayıları ile bunlar arasındaki gerçek sayıların kümesi.

Tam sayıların, bir m modülüne göre kalanları aynı olanlarının oluşturduğu küme.

Sayı doğrusunun bir noktası ile eşlenen, rasyonel olmayan sayı.

Bir teoremin hükmünün doğru olduğunu gösterme.

İki kümenin ortak elemanların kümesi.

A kümesinde olan, B kümesinde olmayan elemanların kümesi, A ile B nin fark kümesi olur.

Bir kümenin kendisinden farklı alt kümesi.

Görüntü kümesi, değer kümesine eşit olan fonksiyona örten fonksiyon denir.

Noktaları ile ordinatları eşlendiği sayı, doğrusu; dikey eksen; Oy ekseni.