الگو:حقیقت منطقی
حقیقت منطقی ⊤ | ||
|---|---|---|
| کارکردی: |  | |
| رسمی: | ||
| سلبی | ||
توضیحات الگوانتخاب باز یا بسته بودن الگو
- برای نمایش الگو به صورت تاشده از فرمولی به شکل {{حقیقت منطقی |state=collapsed}} استفاده کنید.
- برای نمایش الگو به حالت باز از {{حقیقت منطقی |state=expanded}} استفاده کنید.
- اگر می‌خواهید این الگو فقط زمانی که الگوی هم‌نوع آن در صفحه باشد شکل تاشده به‌خود بگیرد از {{حقیقت منطقی |state=autocollapse}} استفاده کنید.
- اگر حالتی را تعیین نکرده باشید (پارامتر state بین کد الگو را ببینید)، autocollapse یا همان تاشدگی خودبه‌خودی، حالت پیش‌فرض است.
Rows represent two different mathematical approaches to the truth, and a special series about the false. The order of columns also does matter. Left column contains abstract entities, just defined. Middle column describes application concepts: a truth function may give true or false, a formal proof may exist or not, and a contradiction may occur or be avoided. Rightmost column contains types of (mathematical) results.