دوشرطی منطقی
در منطق و ریاضیات، ترکیب دوشرطی (به انگلیسی: Logical biconditional) یک عملگر منطقی است که دو گزاره را به هم وصل میکند تا نشان دهد، اگر و فقط اگر ، که فرض یا فرضیه است و حکم یا نتیجه میباشد.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/47/Venn1001.svg/220px-Venn1001.svg.png)
در منطق و ریاضیات، ترکیب دوشرطی (به انگلیسی: Logical biconditional) یک عملگر منطقی است که دو گزاره را به هم وصل میکند تا نشان دهد، اگر و فقط اگر
، که
فرض یا فرضیه است و
حکم یا نتیجه میباشد.
این یک مقالهٔ خرد منطق است. میتوانید با گسترش آن به ویکیپدیا کمک کنید. |