|
Article #
17_2017
25
p.
/r2/pdf.jpg)
PDF |
submitted on 26th
March 2016 displayed on
website on 05th
June
2017
Iurii
Smetanin
Verification of logical consequence, using the calculus of
constituent sets and correspondences of Galois
The paper substantiates that, in the case where staged argument
uses the concept of verification tasks of conformity can be checked
logical consequence, without applying the logical conclusion. It is
convenient to use the calculus of constituent sets and tasking logic
LS2 [1,2]. The example shows that the predicate logic,
logical consequence verification can be performed using a simple
reasoning based on Galois correspondence. (In Russian).
Key words: logical equations, syllogistic, algebraic
ontology, algebraic system, nonparadoxical logical consequence,
Boolean algebra, Galois correspondence.
|
/_derived/content-01(032).en.html_cmp_strtedge110_vbtn.gif){kind=small}
.en.html_cmp_strtedge110_vbtn.gif){kind=small}
/_derived/content-03(034).en.html_cmp_strtedge110_vbtn.gif){kind=small}
/_derived/content-04(035).en.html_cmp_strtedge110_vbtn.gif){kind=small}
/r1/pdf.jpg){kind=small}
.