Отрицателни твърдения

Изявление за отрицание е това, което се формира от оригиналното твърдение с помощта на логическия оператор „това не е вярно“.

Първоначалното предложение p и неговото отрицание (-p) са в отношение на противоречие. Това означава, че те не могат да бъдат едновременно верни и неверни. Взаимната зависимост на техните логически стойности е показана в таблицата, която показва, че отрицанието на вярно твърдение е невярно, а отрицанието на невярно твърдение е вярно. Буквите "I" и "L" означават логически - значенията на твърденията - съответно "вярно" и "невярно", такъв начин за представяне на зависимостта на логическото значение на сложно изявление от логическите стойности на съставните му прости се нарича табличен или матричен.

Р	-Р	=стр
И	Л	И
Л	И	Л

Съединителни (конюнктивни) твърдения

Съставни твърдения се наричат ​​съставни твърдения, образувани от две или повече прости, свързани помежду си с логическия съюз "и".

Простите изявления като част от сложни се наричат ​​членове на връзка или конюнкти, името на логически съюз също се използва за обозначаване на сложно изявление, образувано с негова помощ.

В допълнение към съставните изречения, като например „Учителят влезе в класната стая и урокът започна“, свързващите изявления могат да бъдат изразени в прости изречения: а) с няколко субекта с едно сказуемо, например „Вълкът и лисицата са хищници“; б) с няколко сказуеми с един субект, например „Колата влезе в канавка и се преобърна“; в) с няколко субекта с няколко предиката, например „Санаториуми и къщиостаналите служат за подобряване на здравето на хората и са под грижите на профсъюзите", в първия пример броят на членовете на връзката е равен на броя на субектите, във втория - на броя на предикатите, в третия - на сумата от субектите и предикатите.

Свързващо твърдение, например „Въпреки че слънцето грее, но вали“, може да се изрази в следните опции (ситуации): а) слънцето наистина грее и наистина вали; б) слънцето грее, но не вали; в) Навън е облачно и вали? г) навън е облачно, но не вали. Лесно е да се отгатне, че изявлението, дадено като пример, е адекватно само на първата ситуация, то изкривява последните три, от което следва, че свързващото изявление трябва да се признае за вярно само ако всички прости изявления, включени в него, са верни.

стр	р	p q
И	И	И
И	Л	Л
Л	И	Л
Л	Л	Л

По този начин връзката е логическа връзка, която е вярна само когато всички нейни членове са верни. Следствие от това твърдение е следното: един съюз е неверен, ако поне един от членовете му е неверен.

Можете да превърнете невярна връзка в истинска по два начина: като изключите неверните термини от нея или като ги поставите под отрицание.

---