«Если истинно, что «Все таможни — правоохранительные органы», то, следовательно, ложно, что «Ни одна таможня не есть правоохранительный орган».
«Если истинно, что «Все таможни — правоохранительные органы», то, следовательно, ложно, что «Некоторые таможни — правоохранительные органы».
«Если истинно, что «Все таможни — правоохранительные органы», то, следовательно, ложно, что «Некоторые таможни не есть правоохранительные органы».
«Если ложно, что «Все таможни — коммерческие организации», то, следовательно, истинно, что «Ни одна таможня не есть коммерческая организация».
«Если ложно, что «Все таможни — коммерческие организации», то, следовательно, ложно, что «Некоторые таможни — коммерческие организации».
«Если ложно, что «Все таможни — коммерческие организации», то, следовательно, истинно, что «Некоторые таможни не есть коммерческие организации».
«Если истинно, что «Некоторые таможенники — юристы», то, следовательно, ложно, что «Все таможенники — юристы».
«Если истинно, что «Некоторые таможенники — юристы», то, следовательно, ложно, что «Ни один таможенник не юрист».
«Если истинно, что «Некоторые таможенники не есть государственные служащие», то, следовательно, истинно, что «Все таможенники — государственные служащие».
«Если ложно, что «Некоторые таможенники не есть государственные служащие», то, следовательно, ложно, что «Ни один таможенник не есть государственный служащий».
«Если ложно, что «Некоторые таможенники не есть государственные служащие», то, следовательно, истинно, что «Некоторые таможенники есть государственные служащие».
2. Постройте непосредственные умозаключения через отношение суждений (в «логическом квадрате»):
«Если истинно, что:
«Все юристы имеют специальное образование».
«Ни один из обвиняемых не виновен».
«Некоторые студенты — отличники учебы».
«Некоторые студенты не изучают логики».
«Если ложно, что:
«Все свидетели дали истинные показания».
«Некоторые судьи могут нарушать закон».
«Ни один чиновник не коррумпирован».
«Некоторые должностные лица государственных органов не имеют специальных званий».
3. Соблюдены ли общие правила непосредственных умозаключений через отношение суждений (в «логическом квадрате»), если эти умозаключения имеют следующую структуру: