Объемы двух понятий исключают друг друга, но входят в третье более широкое. 1. Суждение «Некоторые студенты учатся в МГЮА» является частноутвердительным, т.к. в нем присутствует частный квантор «некоторые» и нет отрицательной частицы НЕ. Некоторые студенты учатся в МГЮА КВ S P Некоторые S есть Р I S- P+ Суждение «Ни один студент не учится в МГЮА» является общеотрицательным, т.к. в нем присутствует общий квантор «ни один» и есть отрицательная частица НЕ. Ни один студент не учится в МГЮА КВ S P Ни один S не есть Р Е S+ P+ Суждения находятся в отношении противоречия и не могут быть одновременно не истинными не ложными (Е – I). 4. Суждение «В здоровом теле здоровый дух» является общеутвердительным. В здоровом теле здоровый дух S P Все S есть Р А S+ P- 5. Суждение «Не верно, что Митя и Вася весь день просидели перед компьютером» является противоречащим. Оно эквивалентно суждению «Митя и Вася НЕ весь день просидели перед компьютером». По правилу частноотрицательных суждений имеем «Некоторые S не есть Р». Митя и Вася НЕ весь день просидели перед компьютером S P Некоторые S не есть Р О S- P+
Так как язык не указан, приведу пример на SWI-Prolog.
Код:
read_int(Int) :- read(Int), integer(Int).split_int_by_numbers(0, []) :- !.split_int_by_numbers(N, [Number|Ints]) :- Number is mod(N, 10), RestN is div(N, 10), split_int_by_numbers(RestN, Ints).test_to_div(_, []).test_to_div(N, [Number|Ints]) :- mod(N, Number) =:= 0, test_to_div(N, Ints). test(Int) :- split_int_by_numbers(Int, Numbers), test_to_div(Int, Numbers), write(Int), write(" - Yes!"), nl.test(Int) :- write(Int), write(" - No!"), nl.?- read_int(Int), test(Int).Объемы двух понятий исключают друг друга, но входят в третье более широкое. 1. Суждение «Некоторые студенты учатся в МГЮА» является частноутвердительным, т.к. в нем присутствует частный квантор «некоторые» и нет отрицательной частицы НЕ. Некоторые студенты учатся в МГЮА КВ S P Некоторые S есть Р I S- P+ Суждение «Ни один студент не учится в МГЮА» является общеотрицательным, т.к. в нем присутствует общий квантор «ни один» и есть отрицательная частица НЕ. Ни один студент не учится в МГЮА КВ S P Ни один S не есть Р Е S+ P+ Суждения находятся в отношении противоречия и не могут быть одновременно не истинными не ложными (Е – I). 4. Суждение «В здоровом теле здоровый дух» является общеутвердительным. В здоровом теле здоровый дух S P Все S есть Р А S+ P- 5. Суждение «Не верно, что Митя и Вася весь день просидели перед компьютером» является противоречащим. Оно эквивалентно суждению «Митя и Вася НЕ весь день просидели перед компьютером». По правилу частноотрицательных суждений имеем «Некоторые S не есть Р». Митя и Вася НЕ весь день просидели перед компьютером S P Некоторые S не есть Р О S- P+
Объяснение: