Работим за възстановяване на приложението Unionpedia в Google Play Store
ИзходящIncoming
🌟Упростихме нашия дизайн за по-добра навигация!
Instagram Facebook X LinkedIn

Пропозиционална логика

Index Пропозиционална логика

Пропозиционалната логика или логиката на изказванията (по-стар термин: съждителната логика) се занимава с целите пропозиции в ролята им на носители на стойности по истинност и съотв.

Съдържание

  1. 3 отношения: Конюнкция, Валидност, Дизюнкция.

Конюнкция

Конюнкцията \scriptstyle A \land B представена чрез диаграмите на Вен като сечение на множества: нещата, които са както ''А'', така и ''В'' Конюнкция се нарича както едно сложно (съобщително) изречение, възникнало от свързването на две (съобщителни) изречения чрез съюза „и“ (които в случая играят ролята на негови „подизречения“, наричани „конюнкти“), така и самият съюз „и“, разбиран в смисъла на логическа частица или логически оператор, който създава следната истинностно-функционална зависимост: едно конюнктивно изречение е истинно (има стойност по истинност И), когато всички негови подизречения са истинни, и неистинно (има стойност по истинност Н), когато поне едно от тяхе неистинно.

Виж Пропозиционална логика и Конюнкция

Валидност

Валидността е логическа категория.

Виж Пропозиционална логика и Валидност

Дизюнкция

Дизюнкцията \scriptstyle A \lor B, представена чрез диаграмите на Вен като обединение на множества: нещата, които са ''А'' или ''В'' Дизюнкция се нарича както едно сложно (съобщително) изречение, възникнало от свързването на две (съобщителни) изречения чрез съюза „или“ (които играят ролята на негови „подизречения“, наричани „дизюнкти“), така и самият съюз „или“, разбиран в смисъла на логическа частица или логически оператор, който създава следната истинностно-функционална зависимост: едно дизюнктивно изречение е истинно (има стойност по истинност И), когато поне едно от неговите подизречения е истинно, и неистинно (има стойност по истинност Н), когато всяко от тяхе неистинно.

Виж Пропозиционална логика и Дизюнкция