SANAT OLARAK MANTIK ÇALIŞMALARI

SANAT TANIMI TOPLULUĞU

pIq

~pV~q

BİLEŞİK ÖNERMELER

BAĞDAŞMAZLIK DOĞRULUK DURUMLARI

DID

Y

DIY

D

YID

D

YIY

D

~[~pV~q]

[pIq]I[pIq]

BİLEŞİK ÖNERMELER

TÜMEL EVETLEME DOĞRULUK DURUMLARI

[DID]I[DID]

YIY

D

[DIY]I[DIY]

DID

Y

[YID]I[YID]

DID

Y

[YIY]I[YIY]

DID

Y

pVq

[pIp]I[qIq]

BİLEŞİK ÖNERMELER

TİKEL EVETLEME DOĞRULUK DURUMLARI

[DID]I[DID]

YIY

D

[DID]I[YIY]

YIY

D

[YIY]I[DID]

DIY

D

[YIY]I[YIY]

DID

Y

~[pVq]

BİLEŞİK ÖNERMELER

TİKEL EVETLEME DEĞİLLEME DOĞRULUK DURUMLARI

[[pIp]I[qIq]]I[[pIp]I[qIq]]

[[DID]I[DID]]I[[DID]I[DID]]

[[YIY]II[YIY]

DID

Y

[[DID]I[YIY]]I[[DID]I[YIY]]

[[YID]II[YID]

DID

Y

[[YIY]I[DID]]I[[YIY]I[DID]]

[[DIY]II[DIY]

DID

Y

[[YIY]I[YIY]]I[[YIY]I[YIY]]

[[DID]II[DID]

YIY

D

~pVq

[[pIp]I[pIp]]I[qIq]

BİLEŞİK ÖNERMELER

BİRİNCİ BİLEŞEN KOŞULLU DOĞRULUK DURUMLARI

[[DID]I[DID]]I[DID]

[YIY]I[DID]

DIY

D

[[DID]I[DID]]I[YIY]

[YIY]I[YIY]

DID

Y

[[YIY]I[YIY]]I[DID]

[DID]I[DID]

YIY

D

[[YIY]I[YIY]]I[YIY]

[DID]I[DID]

YIY

D

~[~pVq]

[[[pIp]I[pIp]]I[qIq]]I[[[pIp]I[pIp]]I[qIq]]

BİLEŞİK ÖNERMELER

BİRİNCİ BİLEŞEN KOŞULLU DEĞİLLEME DOĞRULUK DURUMLARI

[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]

[YIY]I[DID]I[YIY]I[DID]

[DIY]I[DIY]

DID

Y

[[[DID]I[DID]]I[YIY]]I[[[DID]I[DID]]I[YIY]]

[YIY]I[YIY]I[YIY]I[YIY]

[DID]I[DID]

YIY

D

[[[YIY]I[YIY]]I[DID]]I[[[YIY]I[YIY]]I[DID]]

[DID]I[DID]I[DID]I[DID]

[YIY]I[YIY]

DID

Y

[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]

[DID]I[YIY]I[DID]I[YIY]

[YID]I[YID]

DID

Y

pV~q

[pIp][[qIq]I[qIq]]

BİLEŞİK ÖNERMELER

İKİNCİ BİLEŞEN KOŞULLU DOĞRULUK DURUMLARI

[DID]I[[DID]I[DID]]

[DID]I[YIY]

YID

D

[YIY]I[[DID]I[DID]]

[YIY]I[YIY]

DID

Y

[

YIY]I[[YIY]I[YIY]]

[YIY]I[DID]

DIY

D

[DID]I[[YIY]I[YIY]]

[DID]I[DID]

YIY

D

~[pV~q]

[[pIp]I[[qIq]I[qIq]]]I[[pIp]I[[qIq]I[qIq]]]

BİLEŞİK ÖNERMELER

İKİNCİ BİLEŞEN KOŞULLU DEĞİLLEME DOĞRULUK DURUMLARI

[[DID]I[[DID]I[DID]]]I[[DID]I[[DID]I[DID]]]

[[DID]I[YIY]]I[[DID]I[YIY]]

[YID]I[YI]

DID

Y

[[DID]I[[YIY]I[YIY]]]I[[DID]I[[YIY]I[YIY]]]

[[DID]I[DID]]I[[DID]I[DID]]

[YIY]I[YIY]

DID

Y

[[YIY]I[[DID]I[DID]]]I[[YIY]I[[DID]I[DID]]]

[[YIY]I[YIY]]I[[YIY]I[YIY]]

[DID]I[DID]

YIY

D

[[YIY]I[[DID]I[DID]]]I[[YIY]I[[DID]I[DID]]]

[[YIY]I[YIY]]I[[YIY]I[YIY]]

[DID]I[DID]

YIY

D

[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]][qIq]]]

[~pVp]V[~qVq]

BİLEŞİK ÖNERMELER

GENELEME DOĞRULUK DURUMU

[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]

[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]

[[DIY]I[[DIY]]I[[DIY]I[[DIY]]

[DID]I[[DID]

[YIY]

D

[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]

[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]

[[DIY]I[[DIY]]I[[YID]I[[YID]]

[DID]I[[DID]

[YIY]

D

[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]

[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[YIY]I[DID]]I[[YIY]I[DID]]]

[[YIYDI[[YID]]I[[YID]I[[YID]]

[DID]I[[DID]

[YIY]

D

[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]

[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]

[[YID]I[[YID]]I[[YID]I[[YID]]

[DID]I[[DID]

[YIY]

D

BİLEŞİK ÖNERMELER

ÇELİŞME DOĞRULUK DURUMU

[[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]]I[[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]]

[[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]]I[[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]]

[[[DIY]I[DIY]]I[[DIY]I[DIY]]I[[[DIY]I[DIY]]I[[DIY]I[DIY]]]

[[DID]I[DID]]I[[DID]I[DID]

[YIY]I[YIY]

DID

Y

[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]]TTTI[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]]

[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]I[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]

[[DIY]I[[DIY]]I[[YID]I[[YID]]I[[DIY]I[[DIY]]I[[YID]I[[YID]]

[DID]I[[DID]I[DID]I[[DID]

[YIY]I[YIY]

DID

Y

[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]] I [[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]

[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[YIY]I[DID]]I[[YIY]I[DID]]] TTTI[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[YIY]I[DID]]I[[YIY]I[DID]]] TTTI

[[YIYDI[[YID]]I[[YID]I[[YID]]I[[YIYDI[[YID]]I[[YID]I[[YID]]TTTI

[DID]I[[DID]I[DID]I[[DID]

[YIY][YIY]

DID

Y

[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]

[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]

[[YID]I[[YID]]I[[YID]I[[YID]]I[[YID]I[[YID]]I[[YID]I[[YID]]

[DID]I[[DID]I[DID]I[[DID]

[YIY]I[YIY]

DID

Y

~[[~pVp]V[~qVq]]

[[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]]I[qIq]]]I[[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]][qIq]]]]

pV~D

BİLEŞİK ÖNERMELER

BİRİNCİ BİLEŞEN EVETLEME DOĞRULUK DURUMLARI

[pIp]I[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]][qIq]]]

[DID]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]

[DID]I[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]

[DID]I[[DIY]I[[DIY]]I[[DIY]I[DIY]]

[DID]I[[DID]I[DID]]

[DID]I[YIY]

YID

D

[DID]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]

[DID]I[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]

[DID]I[[DIY]I[[DIY]]I[[YID]I[[YID]]

[DID]I[[DID]I[DID]]

[DID]I[YIY]

YID

D

[YIY]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]

[YIY]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]

[YIY]I[[YID]I[[YID]]I[[YID]I[[YID]]

[YIY]I[[DID]I[DID]]

[YIY]I[YIY]

DID

Y

[YIY]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]

[YIY]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]

[YIY]I[[YID]I[YID]]I[[YID]I[YID]]

[YIY]I[DID]I[DID]]

[YIY]I[YIY]

DID

Y

~[pV~D]

BİLEŞİK ÖNERMELER

BİRİNCİ BİLEŞEN DEĞİLLEME DOĞRULUK DURUMLARI

[[pIp]I[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]][qIq]]]]I[[pIp]I[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]][qIq]]]]

[DID]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]I

[DID]I[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]I

[DID]I[[DIY]I[[DIY]]I[[DIY]I[DIY]]I

[DID]I[[DID]I[DID]]I

[DID]I[YIY]I

[YID]I

DI

[DID]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]

[DID]I[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]

[DID]I[[DIY]I[[DIY]]I[[DIY]I[DIY]]

[DID]I[[DID]I[DID]]

[DID]I[YIY]

YID

D

Y

[DID]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I

[DID]I[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]I

[DID]I[[DIY]I[[DIY]]I[[YID]I[[YID]]I

[DID]I[[DID]I[DID]]I

[DID]I[YIY]I

[YID]I

D

[DID]I[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]

[DID]I[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]

[DID]I[[DIY]I[[DIY]]I[[YID]I[[YID]]

[DID]I[[DID]I[DID]]

[DID]I[YIY]

[YID]

D

Y

[YIY]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]] I

[YIY]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I

[YIY]I[[YID]I[[YID]]I[[YID]I[[YID]]I

[YIY]I[[DID]I[DID]]I

[YIY]I[YIY]I

[DID]I

YI

[YIY]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]

[YIY]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]

[YIY]I[[YID]I[[YID]]I[[YID]I[[YID]]

[YIY]I[[DID]I[DID]]

[YIY]I[YIY]

DID

Y

D

[YIY]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]I

[YIY]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I

[YIY]I[[YID]I[YID]]I[[YID]I[YID]]I

[YIY]I[DID]I[DID]]I

[YIY]I[YIY]I

[DID]I

YI

[YIY]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]] I

[YIY]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I

[YIY]I[[YID]I[YID]]I[[YID]I[YID]]

[YIY]I[DID]I[DID]]

[YIY]I[YIY]

DID

Y

D

~DVq

BİLEŞİK ÖNERMELER

İKİNCİ BİLEŞEN EVETLEME DOĞRULUK DURUMLARI

[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]][qIq]]][qIq]

[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]I[DID]

[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]I[DID]

[[DIY]I[[DIY]]I[[DIY]I[DIY]]I[DID]

[[DID]I[DID]]I[DID]

[YIY]]I[DID]

YID

D

[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[DID]

[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]I[DID]

[[DIY]I[[DIY]]I[[YID]I[[YID]]I[DID]

[[DID]I[DID]]I[DID]

[YIY]I[DID]

DIY

D

[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]I[YIY]

[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[YIY]

[[YID]I[[YID]]I[[YID]I[[YID]]I[YIY]

[[DID]I[DID]]I[YIY]

[YIY]I[YIY]

DID

Y

[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]I[YIY]

[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[YIY]

[[YID]I[YID]]I[[YID]I[YID]]I[YIY]

[DID]I[DID]]I[YIY]

[YIY]I[YIY]

DID

Y

~[~DVq]

BİLEŞİK ÖNERMELER

İKİNCİ BİLEŞEN DEĞİLLEME DOĞRULUK DURUMLARI

[[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]][qIq]]][qIq]]I[[[[[pIp]I[pIp]]I[pIp]]I[[[pIp]I[pIp]]I[pIp]]]I[[[[qIq]I[qIq]]I[qIq]]I[[[qIq]I[qIq]][qIq]]][qIq]]

[[[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]I[DID]]]I

[[[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]I[DID]]]I

[[[[DIY]I[[DIY]]I[[DIY]I[DIY]]I[DID]]]I

[[[[DID]I[DID]]I[DID]]]I

[[[YIY]I[DID]]]I

[DIY]I

DI

[[[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[DID]I[DID]I][DID]]I[[[DID]I[DID]][DID]]]]I[DID]]]

[[[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[YIYI[DID]]I[[YIY]I[DID]]]I[DID]]]

[[[[DIY]I[[DIY]]I[[DIY]I[DIY]]I[DID]]]

[[[DID]I[DID]]I[DID]]

[[YIY]I[DID]]

[DIY]

D

Y

[[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[DID]]I

[[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]I[DID]]I

[[[DIY]I[[DIY]]I[[YID]I[[YID]]I[DID]I

[[[DID]I[DID]]I[DID]]I

[[YIY]I[DID]]I

[DIY]I

DI

[[[[[DID]I[DID]]I[DID]]I[[[DID]I[DID]]I[DID]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[DID]]I

[[[[YIY]I[DID]]I[[YIY]I[DID]]]I[[[DIDI[YIY]]I[[DID]I[YIY]]]I[DID]]I

[[[DIY]I[[DIY]]I[[YID]I[[YID]]I[DID]I

[[[DID]I[DID]]I[DID]]I

[[YIY]I[DID]]I

[DIY]I

DI

Y

[[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]I[YIY]]I

[[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[YIY]]I

[[[YID]I[[YID]]I[[YID]I[[YID]]I[YIY]]I

[[[DID]I[DID]]I[YIY]]

[[YIY]I[YIY]] I

[DID]I

YI

[[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]I[YIY] ]

[[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[YIY]]

[[[YID]I[[YID]]I[[YID]I[[YID]]I[YIY]]

[[[DID]I[DID]]I[YIY]]

[[YIY]I[YIY]]

[DID]

Y

D

[[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]I[YIY]]I

[[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[YIY]]I

[[[YID]I[YID]]I[[YID]I[YID]]I[YIY]]I

[[DID]I[DID]]I[YIY]]I

[[YIY]I[YIY]I

[DID]I

YI

[[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]][YIY]]]]I[[[[YIY]I[YIY]]I[YIY]]I[[[YIY]I[YIY]]I[YIY]]]I[YIY]]

[[[[DID]I[YIY]]I[[DID]I[YIY]]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]I[YIY]]

[[[YID]I[YID]]I[[YID]I[YID]]I[YIY]]

[[DID]I[DID]]I[YIY]]

[[YIY]I[YIY]]

[DID]

Y

D

~[~[~pVq]V~[pV~q]]

BİLEŞİK ÖNERMELER

KARŞILIKLI KOŞULLU DOĞRULUK DURUMLARI

[[[[[pIp]I[pIp]]I[qIq]]I[[pIp]I[[qIq]I[qIq]]]I[[[[pIp]I[pIp]]I[qIq]]I[[pIp]I[[qIq]I[qIq]]]]

[[[[[DID]I[DID]]I[YIY]]I[[DID]I[[YIY]I[YIY]]]I[[[[DID]I[DID]]I[YIY]]I[[DID]I[[YIY]I[YIY]]]]

[[[[YIYI][YIY]]I[[DID]I[DID]]I[[[YIY]I[YIY]]I[[DID]I[DID]]]

[[[DID]I[YIY]]I[[DID]I[YIY]]

[YID]I[YID]

DID

Y

[[[[[DID]I[DID]]I[DID]]I[[DID]I[[DID]I[DID]]]I[[[[DID]I[DID]]I[DID]]I[[DID]I[[DID]I[DID]]]]

[[[[YIYI][DID]]I[[DID]I[YIY]]I[[[YIY]I[DID]]I[[DID]I[YIY]]]

[[[DIY]I[YID]]I[[DIY]I[YID]]

[DID]I[DID]

YIY

D

[[[[[YIY]I[YIY]]I[DID]]I[[YIY]I[[DID]I[DID]]]I[[[[YIY]I[YIY]]I[DID]]I[[YIY]I[[DID]I[DID]]]]

[[[[DIDI][DID]]I[[YIY]I[YIY]]I[[[DID]I[DID]]I[[YIY]I[YIY]]]

[[[YIY]I[DID]]I[[YIY]I[DID]]

[DIY]I[DIY]

DID

Y

[[[[[YIY]I[YIY]]I[YIY]]I[[YIY]I[[YIY]I[YIY]]]I[[[[YIY]I[YIY]]I[YIY]]I[[YIY]I[[YIY]I[YIY]]]]

[[[[DIDI][YIY]]I[[DID]I[YIY]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]

[[[YID]I[YID]]I[[YID]I[YID]]

[DID]I[DID]

YIY

D

~[~[~pVq]V~[pV~q]]]

BİLEŞİK ÖNERMELER

KARŞILIKLI KOŞULLU DEĞİLLEME DOĞRULUK DURUMLARI

[[[[[pIp]I[pIp]]I[qIq]]I[[pIp]I[[qIq]I[qIq]]]I[[[[pIp]I[pIp]]I[qIq]]I[[pIp]I[[qIq]I[qIq]]]]

[[[[[DID]I[DID]]I[YIY]]I[[DID]I[[YIY]I[YIY]]]I[[[[DID]I[DID]]I[YIY]]I[[DID]I[[YIY]I[YIY]]]]

[[[[YIYI][YIY]]I[[DID]I[DID]]I[[[YIY]I[YIY]]I[[DID]I[DID]]]

[[[DID]I[YIY]]I[[DID]I[YIY]]

[YID]I[YID]

DID

Y

[[[[[DID]I[DID]]I[DID]]I[[DID]I[[DID]I[DID]]]I[[[[DID]I[DID]]I[DID]]I[[DID]I[[DID]I[DID]]]]

[[[[YIYI][DID]]I[[DID]I[YIY]]I[[[YIY]I[DID]]I[[DID]I[YIY]]]

[[[DIY]I[YID]]I[[DIY]I[YID]]

[DID]I[DID]

YIY

D

[[[[[YIY]I[YIY]]I[DID]]I[[YIY]I[[DID]I[DID]]]I[[[[YIY]I[YIY]]I[DID]]I[[YIY]I[[DID]I[DID]]]]

[[[[DIDI][DID]]I[[YIY]I[YIY]]I[[[DID]I[DID]]I[[YIY]I[YIY]]]

[[[YIY]I[DID]]I[[YIY]I[DID]]

[DIY]I[DIY]

DID

Y

[[[[[YIY]I[YIY]]I[YIY]]I[[YIY]I[[YIY]I[YIY]]]I[[[[YIY]I[YIY]]I[YIY]]I[[YIY]I[[YIY]I[YIY]]]]

[[[[DIDI][YIY]]I[[DID]I[YIY]]I[[[DID]I[YIY]]I[[DID]I[YIY]]]

[[[YID]I[YID]]I[[YID]I[YID]]

[DID]I[DID]

Y

D