Не, не е така.

Кое не е така ? Това, че твърденията са зависими ли ?

(4)
"гюлето има мощност А" И
" гюлето не може да премине през стената" И
"стената няма здравина Б" = TRUE

Разбира се, че са зависими - това дали "гюлето не може да мине през стената" зависи пряко от мощността "А", и от мощността "Б". Вие постулирате, че и трите твърдения са верни, от тук директно следва, че гюлето не може да има мощност "всепроникващо". Ако му поставите такава мощност директно второто твърдение става лъжа = FALSE.

Сега ще илюстрирам вашата "логика" с аналогичен пример, за да си видите по ясно грешката.
Разглеждаме множеството на целите числа от 1 до 10, и в него следните 3 твърдения:

"числото "гюле" е равно на числото А" = TRUE
"числото "гюле" НЕ е по голямо от числото "стена"" = TRUE
"числото "стена" е равно на числото Б" = TRUE

От тях като директно следствие може да се напише следното твърдение:
"числото А НЕ е по голямо от числото Б"
И сега по вашата "логика", ако поставим "А" да е най голямото число от множеството = 10 а "Б" да е кое да е по малко число логиката била противоречала на смисъла - истината е, че вие противоречите на логиката - ако приемете такова условие, от тук директно следва, че второто условие става "лъжа".

Смисълът започва да противоречи на логиката единствено ако гюлето е безкрайно мощно (всепроникващо). Във всички нюанси по-надолу от "всепроникващо" няма проблеми.

И сега това твърдение за примера би звучало така:
Смисълът започва да противоречи на логиката единствено ако гюлето е най голямото число (по голямо от всички други). Във всички нюанси по-надолу от "най голямо" няма проблеми.

Сега мисля, ясно ви е, че проблемът не е там където го търсите, тъй като в този пример всичко е прекрасно дефинирано, и непротиворечиво - логично до момента в който преставаме да спазваме законите на логиката.

Напротив, логиката, ако погледнете изложението ми, дава резултат TRUE там, дето смисълът изисква FALSE. Взаимоизключването се появява САМО когато заместите крайните стойности като "всепроникващ" и т.н. Точно това, за което говоря и аз.

Както видяхте не е така. Но за момент да допуснем, че е така - и тъй като в примера с числата видяхте същия проблем, от тук директно следва, че той не се дължи на противоречивост на дефиницията на понятието "най голямо число". Да не говорим, че не се появява само при крайните стойности, а може да се появи и при много други - въобще големи бози могат да се забъркат като спрем да спазваме законите на логиката.

Да сте жив и здрав !