Ayyıldız2 | 2008 TR Yapısı • 1-99 Orta Emek Destan • Oto Avsız • 10 Temmuz 21:00 HEMEN TIKLA!
Mantıksal bağlar aşağıdaki sembollerle gösterilir:
: değil
: ve
: veya
: eğer-ise
: ancak ve ancak
Böylece şu ifadeler, önerme formülleri olacaktır:
,
,
,
,
Örnek: "Eğer sendika veya fabrika yöneticileri inada devam ederlerse, grev ancak ve ancak hükümet bir kararname çıkarır ve fabrikaya polis göndermezse önlenir."
P: Sendika inada devam eder
Q: Fabrika yöneticileri inada devam eder
R: Grev önlenir
S: Hükümet kararname çıkartır
T: Hükümet fabrikaya polis göndermez
=> ise bu şekilde de gösterilir <=> ancak ve ancak bu şekilde de gösterilir.
Böylece şu ifadeler, önerme formülleri olacaktır:
Örnek: "Eğer sendika veya fabrika yöneticileri inada devam ederlerse, grev ancak ve ancak hükümet bir kararname çıkarır ve fabrikaya polis göndermezse önlenir."
P: Sendika inada devam eder
Q: Fabrika yöneticileri inada devam eder
R: Grev önlenir
S: Hükümet kararname çıkartır
T: Hükümet fabrikaya polis göndermez
=> ise bu şekilde de gösterilir <=> ancak ve ancak bu şekilde de gösterilir.
