دوشرطی منطقی
در منطق و ریاضیات، ترکیب دوشرطی (به انگلیسی: Logical biconditional) یک عملگر منطقی است که دو گزاره را به هم وصل میکند تا نشان دهد، اگر و فقط اگر ، که فرض یا فرضیه است و حکم یا نتیجه میباشد.
در منطق و ریاضیات، ترکیب دوشرطی (به انگلیسی: Logical biconditional) یک عملگر منطقی است که دو گزاره را به هم وصل میکند تا نشان دهد، اگر و فقط اگر
، که
فرض یا فرضیه است و
حکم یا نتیجه میباشد.
تاریخ | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
مقالات اصلی | |||||||||||||||
مفاهیم منطق |
| ||||||||||||||
مجادلهها | |||||||||||||||
افراد اصلی |
| ||||||||||||||
فهرستها | |||||||||||||||
![]() | این یک مقالهٔ خرد منطق است. میتوانید با گسترش آن به ویکیپدیا کمک کنید. |