KUANTOR

• Kuantor Universal dimana terdapat ungkapan seperti :

- Untuk setiap, untuk tiap-tiap, untuk semua

• Kuantor Ekstensial dimana terdapat ungkapan seperti :

        - terdapat, ada, sekurang-kurangnya ada satu

§Kuantor Universal

• Ditulis dengan lambang "

• Pandang kalimat : Semua orang Indonesia adalah orang Asia

•  Diterjemahkan menjadi : Untuk semua x, jika Lx maka Ax

    Lx : x orang Indonesia

Ax : x orang Asia

• Dalam kalimat logika ditulis : ("x) [Lx ® Ax]

• Bentuk ini disebut Afirmatif umum

• Pandang kalimat : Semua orang Indonesia bukan orang Eskimo

• Ditulis ("x) [Lx ® ~ Ax]

• Bentuk ini disebut Negatip umum

§ Kuantor Ekstensial

• Ditulis dengan lambang $

• Pandang kalimat : Ada orang Indonesia yang makan nasi

                             Ada beberapa orang Indonesia yang makan nasi

•  Diterjemahkan menjadi :

    Ada x yang memenuhi sifat: x orang Indonesia dan x makan nasi

Ada x sehingga x orang Indonesia dan x makan nasi

Lx : x orang Indonesia

N x : x makan nasi

• Dalam kalimat logika ditulis : ($x) [Lx Ù Nx]

•Bentuk ini disebut Afirmatif khusus

•Pandang kalimat :

Ada x sehingga jika x orang Indonesia maka x makan nasi

• Ditulis ("x) [Lx ®  Nx]•  Pandang kalimat :

Beberapa ikan paus tidak termasuk hewan menyusui

•Diterjemahkan : Ada paling sedikit satu x, sehingga jika x ikan paus maka x bukan hewan menyusui

• Ditulis ($x) [Hx ® ~ Mx]

• Bentuk ini disebut Negatip khusus