Gündelik dil önermelerini ve çıkarımlarını önermeler mantığında sembolleştirebileceksiniz.Sembolik önerme ve çıkarımları gündelik dile çevirebilecek ve gündelik dildeki önerme ve çıkarımları önermeler mantığında denetleyebileceksiniz.
