3. Розкрийте зміст понять.

Архаїзм - слово, вираз, граматична форма, які застаріли й вийшли з загального вжитку.

Ознака- особливість предмета або явища, яка визначає подібність свого носія до інших об'єктів пізнання або відмінність від них; те саме, що і Властивість. Сукупність О. (яка може зводитися і до однієї єдиної О.) дозволяє відрізнити предмет (явище) від інших предметів (явищ).

Необхідні і достатні умови : Необхідна умова для твердження має бути виконана, щоб твердження було істинним. Формально, твердження P є необхідною умовою для Q, якщо Q має на увазі P. Наприклад, для істинності твердження, що Микола досі парубкує необхідно, щоб істиною було, що він 1. неодружений, 2. він чоловічої статі і 3. він повнолітній — це необхідні умови для істинності твердження «Микола холостяк». Або для цілих чисел більших за двійку, необхідно бути непарними, щоб бути простими, бо двійка єдине ціле число, яке одночасно парне і просте.

Достатня умова це така, виконання якої тягне за собою істинність твердження. Формально, твердження P достатня умова для твердження Q якщо P має на увазі Q. Наприклад, твердження, що «Микола парубкує» означає, що Микола чоловічої статі. Тож знання, що Микола холостяк достатньо для знання, що він також чоловічої статі. Подільність числа на 4 достатня (але не необхідна) для його парності, а подільність на 2 є необхідною і достатньою умовою.

Логічна символіка - система знаків (символів), яка використовується в логіці для позначення термів, предикатів, виска-зиваній, логічних функцій, відносин між висловлюваннями. У різних логічних системах можуть використовуватися різні системи позначень, тому нижче ми наводимо лише найбільш вживані символи з числа використовуваних в літературі за логікою: Поряд з перерахованими в багатозначних, тимчасових, деонтичної та інших системах логіки використовуються свої специфічні символи, проте кожного разу роз'яснюється, що саме той чи інший символ позначає і як він читається (див.: Знак логічний).

Консеквент- в буквальному сенсі «слідство», «висновок», «результат».

Мовою старих філософів, особливо у логіків Кантовской школи, в їх вченні про судженнях, висновках і доказах консеквент означає в його відношенні до присудка слідство стосовно до причини.

В умовному висловленні «Якщо А, то В» вислів «А» є антецедент (лат. antecedens - в буквальному сенсі «попереднє»); вислів «В» називається консеквент. Наприклад, в умовному висловленні «Якщо зараз ніч, то темно»: антецедент - «зараз ніч», а консеквент - «темно».

Антецедентом називаються взагалі передували події, оскільки вони допомагають з'ясуванню сьогодення - консеквента

4. Знайдіть суб’єкт і предикат у таких судженнях:

а) Добро переможе зло.

Суб’єкт –добро. Предикат-переможе зло.

б)День був сонячним.

Суб’єкт – день. Предикат – був сонячним.

в)Людина є розумною істотою.

Суб’єкт – людина. Предикат – є розумною істотою

г)Деякі злочини не розкриваються.

Суб’єкт – деякі злочини. Предикат – не розкриваються.

д)Багато доброчинних людей.

Суб’єкт – людей. Предикат – багато доброчинних.

е)Істина найдорожче за все.

Суб’єкт – істина. Предикат – найдорожче за все.

5. Наведіть приклади безпосередніх і опосередкованих умовиводів.