SORU: Önermeler mantığının sembolik önermeleri hangi kurala göre oluşturulur?
CEVAP: Önermeler mantığının sembolik önermeleri aşağıdaki kurallara göre oluşturulur: • Her önerme değişkeni bir sembolik önermedir. • A bir sembolik önerme ise, ~A bir sembolik önermedir. • A ve B birer sembolik önerme ise, (A ? B), (A ? B), (A › B), (A - B) sembolik önermelerdir.
