Ancak ve ancak
Mantıkta ve matematik ve psikoloji gibi alanlarda ancak ve ancak, iki ifade arasındaki iki koşullu mantık bağlacı belirtir. Birbirine bağlı olan iki ifadenin birinin doğruluğu için ötekinin doğru olması gerekmektedir, dolayısıyla ya iki ifade de doğru, ya da her ikisi de yanlıştır. Yazılışta, ancak ve ancaka alternatif olarak Q P için gerekli ve yeterlidir, Q ise P ifadeleri de kullanılır.
Tanımı
p ↔ qnun doğruluk tablosu aşağıdaki gibidir:[1]
| p | q | p ↔ q |
|---|---|---|
| D | D | D |
| D | Y | Y |
| Y | D | Y |
| Y | Y | D |
Kullanımı
Gösterimi
"↔", "⇔" ve "≡" simgeleri ancak ve ancak ifadesini belirtir. Bu simgeler genellikle denkliği gösterir. Ancak, bazı matematiksel mantığın bazı metinlerinde ikisi arasında bir ayrım yapılır ve ↔ mantık formüllerinde bir sembol olarak kullanılırken,⇔ bu formüllerin mantıksal açıklamalarında kullanılır.
Kaynakça
This article is issued from Vikipedi - version of the 10/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.