inveidar написа:Едно твърдение или е вярно, или невярно...
Това не е така. Една формула от предикатното смятане от първи ред, в която има поне една свободна променлива може за някои стойности на тази променлива да е вярна, за други- не. Например: [tex]n>0 \implies (n^2-3n+2>0)[/tex] e такава, а пък: [tex]n>0 \implies (n+1)^2 +1 \geq 5)[/tex] e вярна за всяко [tex]n[/tex]. Това което казваш се отнася за формули, които нямат свободни променливи (т.н. съждения), където всички променливи са квантирани, напр. [tex](\exists y>0\,,\, (y+1)^2+1=5)\wedge (\forall y>0 \,,\,(y+1)^2+1\geq 5 )[/tex]. Последното с прости думи означава, че 5 е най-малката ст. на израза... при y естествени. Такива съждения не могат повече да се квантират и за тях е безмислено да се пита верни ли са за всяко [tex]n[/tex] или за някои. Те са или верни или не. Това е проблема с тази задача, иначе останалите са добре измислени.
И да го кажа още по просто, представи си че имаш следното твърдение:
"Най-малкият ден в годината е 8 часа и 15 мин." и да предположим че е астрономически вярно.
Избери сега един от следните отговори.
А) Вярно за всеки ден в годината
Б) Вярно само за някои дни в годината
В) Няма ден в годината, за който да е вярно
Според отговорите от матурата, трябва да си избрал А). Тъпо, нали.