пних формул.
а);
А У З
p
q
p в†’ q
А в†’ p
B в†’ p
і
і
і
і
і
і
л
л
і
і
л
і
і
л
і
л
л
і
л
і
б).
А У З D Е
p
q
r
p ^ q
p ^ r
АvB
q v r
p ^ D
З в†’ Е
і
і
і
і
і
і
і
і
і
і
і
л
і
л
і
і
і
і
і
л
і
л
л
л
і
і
і
і
л
л
л
л
л
л
л
і
л
і
і
л
і
і
і
л
л
л
і
л
л
л
л
і
л
і
л
л
і
л
л
л
і
л
і
л
л
л
л
л
л
л
л
і
Завдання 9. Визначте, чи є такі судження еквівалентними.
а) Деяка частина нових експонатів була передана музею.
Кілька нових експонатів була передана музею.
Рішення: Ці судження еквівалентні, оскільки логічна структура їх однакова. Деякі S є Р. Обидва судження є Частноутвердітельное. p> б) Кожен може розібратися в цій теоремі. p> Невірно, що ніхто не може розібратися в цій теоремі.
Рішення: Ці судження не є еквівалентними, оскільки логічна структура їх неоднакова. Перше судження - общеутвердітельное: Всі S суть Р. Друге судження - общеотрицательное: Жодне S не має Р.
Завдання 10. Визначте, чи правильні наступні безпосередні умовиводи.
а) Всі рідини пружні, значить, невірно, що є непружні рідини.
Рішення:
Всі рідини пружні. - Всі S суть Р. - общеутвердітельное (А)
Невірно, є непружні рідини. - Невірно, що деякі S суть не-Р (~ I)
Дане безпосереднє умовивід не є правильним. (згідно логічного квадрату)
б) Ні один японець не говорить по-іспанськи, значить, невірно, що всі японці кажуть по-іспанськи.
Рішення: p> Ні один японець не говорить по-іспанськи. ...
