Converse ima - Converse implication

Venn diyagramı arasında (ifadesi yanlış olduğu beyaz alan gösterir)${\ Displaystyle A \ leftarrow B}$

Converse ima olan tersi bir ima , yazılı ←. Demek ki; herhangi iki söz konusu önermeler ve eğer eder , daha sonra bir ters vurmasıdır . ${\ Displaystyle P}$${\ Displaystyle S}$${\ Displaystyle S}$${\ Displaystyle P}$${\ Displaystyle P}$${\ Displaystyle S}$

Şöyle yazılmıştır , ama aynı zamanda notated olabilir , ya da "B pq (içinde" Bochenski gösterimde ). ${\ Displaystyle P \ leftarrow S}$${\ Displaystyle P \ bir alt kümesi S}$

Tanım

Doğruluk tablosu

Doğruluk tablosu arasında${\ Displaystyle P \ leftarrow S}$

${\ Displaystyle P}$	${\ Displaystyle S}$	${\ Displaystyle P \ leftarrow S}$
T	T	T
T	F	T
F	T	F
F	F	T

Mantıksal eşdeğerleri

Converse ima ayrılmasının mantıksal olarak eşdeğerdir ve${\ Displaystyle P}$${\ Displaystyle \ negatif S}$

${\ Displaystyle P \ leftarrow S}$	${\ Displaystyle \ Leftrightarrow}$	${\ Displaystyle P}$	${\ Displaystyle \ lor}$	${\ Displaystyle \ negatif S}$
	${\ Displaystyle \ Leftrightarrow}$		${\ Displaystyle \ lor}$

Özellikleri

gerçeği koruyarak : tüm değişkenler tahsis edilmesini öngören yorumlama gerçeği değerini 'gerçek' converse ima sonucunda 'gerçek' bir doğruluk değeri üretir.

sembol

←, ⇐ 

Doğal lisan

"P olmadan değil q."

"S q ise."

Ayrıca bakınız

• Mantıksal bağ
• koşullu Malzeme

Bu mantık lı makale bir taslaktır . Sen Vikipedi'ye katkıda bulunabilirsiniz genişletmeden . v t e