En påstand som gjelder for alle elementer av en viss type eller kategori kalles en "universell påstand".

En påstand som sier at det finnes minst ett element av en type eller kategori, kalles en "eksistensiell påstand".

I denne videoen og de neste skal vi se på noen eksempler av disse påstandstypene, og hvordan de henger sammen.