Тавтологија (логика): Разлика помеѓу преработките
| [непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
сНема опис на уредувањето |
сНема опис на уредувањето |
||
Ред 1:
{{otheruses|Тавтологија}}
Во [[логика]]та, '''тавтологија''' е [[исказ]] кој содржи повеќе од еден подисказ, кој е вистинит без разлика на вистинитоста на неговите делови. На пример, исказот „Или сите гаврани се црни или не сите од нив се црни“ е тавтологија, бидејќи е вистинит без разлика на тоа која боја се гавраните. Формално изразено, како исказ со ''X'' кој стои за „Сите гаврани се црни“ би било
:<math>X \lor \lnot X</math>,
Ред 5 ⟶ 6:
Исказ како
:<math>X \land \lnot X</math>
кој е секогаш невистинит без разлика на вистинитоста на неговите делови се нарекува [[контрадикција]] на [[недоследост]] и
Кај [[исказна логика|исказната логика]], знакот <math>\vDash</math> or <math>\vdash</math> може да се постави пред реченица или формули за да означи дека тоа е тавтологија. Празниот простор лево од знакот <math>\vdash</math> значи дека не се потребни никакви претпоставки за логично дедуцирање на материјал десно од знакот. Така можеме да се изразиме:
| |||