Sembolik Mantık 2017 - 2018 Dönem Sonu Sınavı 9.Soru

9.Soru
Sembolik Mantık 2017 - 2018 Dönem Sonu Sınavı 9.Soru
transkript: 9. Çözümleyici çizelge yöntemi Vx (FA v N Fx) önermesinin geçerli denetlerken oluşturulacak çözümleyici çizelgenin başlangıcındaki önermeler aşağıdakilerden hangisidir? A) 1. Vx (Fa v wFX) 2. Fa 3. —Fx 5) 17 Vx (Fa v —Fx) 2. Ex (Fa v —Fx) 0) 1. —Vx (Fa V —Fx) 2v ax —(Fa v NFx) D) 1. Vx (Fa v xe) %x 2. Fa 2. xe E) 1. Vx (Fa v —Fx) 2. Fa A —Fx
Yorumlar
  • 0 Yorum