Scholarlink

This publication closely follows previous results concerning verifying the validity and invalidity of logical syllogisms with intermediate quantifiers that form selected logical structures of opposites. The goal of this publication is to use the property of contraposition to show that from selected valid forms of logical syllogisms related to graded Peterson’s square, we are able to prove valid logical syllogisms related to graded Peterson’s cube of opposition. By this procedure we are able to search for valid syllogisms systematically. We also use property of monotonicity of quantifiers to prove other valid syllogisms and order obtained syllogisms. Last but not least we discuss the relationship between valid logical syllogisms obtained by contraposition.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Karel Fiala,
  • Petra Murinová

摘要

This publication closely follows previous results concerning verifying the validity and invalidity of logical syllogisms with intermediate quantifiers that form selected logical structures of opposites. The goal of this publication is to use the property of contraposition to show that from selected valid forms of logical syllogisms related to graded Peterson’s square, we are able to prove valid logical syllogisms related to graded Peterson’s cube of opposition. By this procedure we are able to search for valid syllogisms systematically. We also use property of monotonicity of quantifiers to prove other valid syllogisms and order obtained syllogisms. Last but not least we discuss the relationship between valid logical syllogisms obtained by contraposition.