Gündelik dildeki nicelemeli önermeleri ve çıkarımları niceleme mantığında sembolleştirebileceksiniz.Nicelemeli sembolik önerme ve çıkarımları gündelik dile çevirebileceksiniz.