{"id":33841,"date":"2021-02-12T13:00:31","date_gmt":"2021-02-12T13:00:31","guid":{"rendered":"https:\/\/toposuranos.com\/material\/?p=33841"},"modified":"2025-07-31T07:53:28","modified_gmt":"2025-07-31T07:53:28","slug":"demonstratio-rationum-logicae-classicae","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/","title":{"rendered":"Demonstratio Rationum Logicae Classicae"},"content":{"rendered":"<div style=\"background-color:#F3F3F3; padding:20px;\">\n<center><\/p>\n<h1>Demonstratio Rationum Logicae Classicae<\/h1>\n<p><\/p>\n<p style=\"text-align:center;\"><strong>SUMMARIUM<\/strong><br \/><em>In hac lectione exhibentur variae technicae logicae classicae ad coniunctiones et disiunctiones introducendas atque removendas, praeterea regula tertii exclusi et regula contradictionis, quae etiam praeceptum explosionis appellatur. Explicatur quoque technica probationis per casus et reductio ad absurdum, ambae in demonstrationibus mathematicis ac logicis utilissimae. Unaquaeque technica formaliter exhibetur et demonstratio gradatim proposita datur ad intellegendum. Si logicam propositionum penitius explorare cupis et facultatem theoremata demonstrandi augere vis, haec lectio tibi valde proderit.<\/em><\/p>\n<p><\/center><br \/>\n<\/p>\n<p><strong>PROPOSITA DISCENDI:<\/strong><\/p>\n<ol>\n<li><strong>Intelligere<\/strong> rationem quae subest technicis coniunctionis et disiunctionis introducendae et removendae.<\/li>\n<li><strong>Intelligere<\/strong> proprietatem tertii exclusi sive tautologiam (TAU) in logica classica.<\/li>\n<li><strong>Intelligere<\/strong> regulam contradictionis (CON) sive praeceptum explosionis in logica classica.<\/li>\n<li><strong>Intelligere<\/strong> technicam disiunctionum removendarum (\u2228-eliminatio3) in logica classica.<\/li>\n<li><strong>Intelligere<\/strong> technicam probationum per casus (CAS) in logica classica.<\/li>\n<li><strong>Intelligere<\/strong> technicam reductionis ad absurdum (absurdum) in logica classica.<\/li>\n<li><strong>Adhibere<\/strong> scientiam diversarum technicarum logicae classicae ad quaestiones et demonstrationes difficiles solvendas.<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong>INDEX<\/strong><br \/>\n<a href=\"#1\"><strong>INTRODUCTIO ET REMOTIO CONIUNCTIONUM ET DISIUNCTIONUM<\/strong><\/a><br \/>\n<a href=\"#2\">\u2228-INTRODUCTIO<\/a><br \/>\n<a href=\"#3\">\u2228-ELIMINATIO<\/a><br \/>\n<a href=\"#4\">\u2227-INTRODUCTIO<\/a><br \/>\n<a href=\"#5\">\u2227-ELIMINATIO<\/a><br \/>\n<a href=\"#6\"><strong>TECHNICAE CONTRADICTIONUM ET TAUTOLOGIARUM<\/strong><\/a><br \/>\n<a href=\"#7\">REGULA TERTII EXCLUSI SIVE TAUTOLOGIA (TAU)<\/a><br \/>\n<a href=\"#8\">REGULA CONTRADICTIONIS SIVE PRAECEPTUM EXPLOSIONIS<\/a><br \/>\n<a href=\"#9\">\u2228-ELIMINATIO3<\/a><br \/>\n<a href=\"#10\">PROBATIONES PER CASUS (CAS)<\/a><br \/>\n<a href=\"#11\">REDUCTIO AD ABSURDUM (ABSURDUM)<\/a><\/p>\n<p><center><br \/>\n<iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/qAJ_oaSfd9k\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/center>\n<\/div>\n<p><a name=\"1\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>Introductio et Remotio Coniunctionum et Disiunctionum<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=qAJ_oaSfd9k&amp;t=439s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">Una ex technicis<\/span><\/strong><\/a> logicae classicae est introductio et remotio connectorum et disiunctorum. Quamquam hae technicae modo quodam intuitivo adhibentur, earum iustificatio non est omnino trivialis, sed ex regulis logicae propositionum, quas in lectionibus prioribus iam demonstravimus, deduci possunt. Formaliter, technicae introductionis et remotiones connectorum et disiunctorum sunt hae:<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>\u2228-Introductio<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha \\} \\vdash (\\alpha \\vee \\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>\u2228-Remotio<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha\\vee\\beta), \\neg\\alpha \\} \\vdash\\beta <\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>\u2227-Introductio<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha.\\beta \\} \\vdash(\\alpha \\wedge \\beta) <\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>\u2227-Remotio<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge \\beta) \\} \\vdash \\alpha <\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Et earum demonstrationes ex logica propositionum infra ostenduntur:<\/p>\n<p><a name=\"2\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>\u2228-Introductio<\/h3>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\} \\vdash \\alpha<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\} \\vdash( \\alpha \\rightarrow (\\neg \\beta \\rightarrow \\alpha))<\/span><\/span><\/td>\n<td>; A1, Mon<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\} \\vdash (\\neg \\beta \\rightarrow \\alpha)<\/span><\/span><\/td>\n<td>; MP(1,2)<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{\\alpha\\} \\vdash (\\beta \\vee \\alpha)}<\/span><\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\rightarrow<\/span><\/span>-Definitio(3)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a name=\"3\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>\u2228-Remotio<\/h3>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee \\beta), \\neg\\alpha\\}\\vdash (\\alpha \\vee\\beta)<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee \\beta), \\neg\\alpha\\}\\vdash \\neg\\alpha <\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee \\beta), \\neg\\alpha\\}\\vdash (\\neg \\alpha \\rightarrow \\beta)<\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\rightarrow<\/span><\/span>-Definitio (1)<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{(\\alpha \\vee \\beta), \\neg\\alpha\\}\\vdash \\beta}<\/span><\/span><\/span><\/td>\n<td>; MP(2,3)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a name=\"4\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>\u2227-Introductio<\/h3>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\vee \\neg \\beta), \\neg\\neg\\beta\\} \\vdash \\neg\\alpha<\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span><\/span>-Remotio<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg\\beta\\} \\vdash ((\\neg\\alpha \\vee \\neg \\beta) \\rightarrow \\neg\\alpha)<\/span><\/span><\/td>\n<td>; TD(1)<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg\\beta\\} \\vdash (\\neg \\neg\\alpha \\rightarrow \\neg (\\neg\\alpha \\vee \\neg \\beta))<\/span><\/span><\/td>\n<td>; CPI(2))<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg\\neg\\beta \\rightarrow (\\neg \\neg\\alpha \\rightarrow \\neg (\\neg\\alpha \\vee \\neg \\beta)))<\/span><\/span><\/td>\n<td>; TD(3)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha, \\beta \\} \\vdash (\\neg\\neg\\beta \\rightarrow (\\neg \\neg\\alpha \\rightarrow \\neg (\\neg\\alpha \\vee \\neg \\beta)))<\/span><\/span><\/td>\n<td>; Monotonia \u00d72 (4)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha, \\beta \\} \\vdash \\beta<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha, \\beta \\} \\vdash \\neg\\neg\\beta<\/span><\/span><\/td>\n<td>; DN(6)<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha, \\beta \\} \\vdash (\\neg \\neg\\alpha \\rightarrow \\neg (\\neg\\alpha \\vee \\neg \\beta))<\/span><\/span><\/td>\n<td>; MP(7,5)<\/td>\n<\/tr>\n<tr>\n<td>(9)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha, \\beta \\} \\vdash \\alpha<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(10)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha, \\beta \\} \\vdash \\neg\\neg\\alpha<\/span><\/span><\/td>\n<td>; DN(9)<\/td>\n<\/tr>\n<tr>\n<td>(11)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha, \\beta \\} \\vdash \\neg (\\neg\\alpha \\vee \\neg \\beta)<\/span><\/span><\/td>\n<td>; MP(10,8)<\/td>\n<\/tr>\n<tr>\n<td>(12)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{\\alpha, \\beta \\} \\vdash (\\alpha \\wedge \\beta)}<\/span><\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span><\/span>-Definitio(11)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a name=\"5\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>\u2227-Remotio<\/h3>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge \\beta)\\} \\vdash (\\alpha \\wedge \\beta)<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg \\alpha\\} \\vdash (\\neg \\alpha \\vee \\neg\\beta)<\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span><\/span>-Introductio<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg \\alpha \\rightarrow (\\neg \\alpha \\vee \\neg\\beta))<\/span><\/span><\/td>\n<td>; TD(2)<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg(\\neg \\alpha \\vee \\neg\\beta) \\rightarrow \\alpha)<\/span><\/span><\/td>\n<td>; CPI(3))<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash ( ( \\alpha \\wedge \\beta) \\rightarrow \\alpha)<\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span><\/span>-Definitio(4)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{(\\alpha \\wedge \\beta)\\} \\vdash ( ( \\alpha \\wedge \\beta) \\rightarrow \\alpha)<\/span><\/span><\/td>\n<td>; Monotonia(5)<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{(\\alpha \\wedge \\beta)\\} \\vdash \\alpha}<\/span><\/span><\/span><\/td>\n<td>; MP(1,6)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a name=\"6\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>Technicae Contradictionum et Tautologiarum<\/h2>\n<p><a name=\"7\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>Regula Tertii Exclusi sive Tautologia (tau)<\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=qAJ_oaSfd9k&amp;t=1208s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">Alia ex notabilioribus proprietatibus<\/span><\/strong><\/a> logicae classicae est proprietas tertii exclusi (tertium non datur). Haec statuit quod, si duae propositiones habentur quarum una alteram negat, tunc necessario una earum vera esse debet; sive aliter dicendo, coniunctio duarum propositionum quarum una alteram negat, necessario tautologiam constituit. Formaliter, hoc exprimitur sic scribendo:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\neg\\alpha \\vee\\alpha)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Et demonstratio eius facile obtineri potest.<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\vdash \\alpha<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha \\rightarrow \\alpha)<\/span><\/span><\/td>\n<td>; TD(1)<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\vdash (\\neg \\alpha \\vee \\alpha)}<\/span><\/span><\/span><\/td>\n<td>; ex (2) quia <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta) := (\\neg \\alpha \\vee \\beta)<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Alia forma huius principii enuntiandi est lex <strong>non contradictionis<\/strong>, quae affirmat propositionem non posse simul vera et falsa esse, quae formaliter exprimitur per:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash \\neg(\\neg\\alpha \\wedge \\alpha)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Haec proprietas demonstratione non eget, non quia ipsa per se evidens est, sed quia directe ex definitione coniunctionis super principio tertii exclusi deducitur.<\/p>\n<p><a name=\"8\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>Regula Contradictionis sive Principium Explosionis<\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=qAJ_oaSfd9k&amp;t=1410s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">Alia nota proprietas logicae<\/span><\/strong><\/a> classicae est principium explosionis, quod plerumque hac sententia exprimitur: \u00abex praemissis contradictoriis quidlibet concludi potest\u00bb. Formulatio eius exhiberi solet qualibet ex sequentibus formis:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\wedge \\alpha)\\}\\vdash \\beta<\/span><\/span><\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha, \\neg\\alpha\\}\\vdash \\beta<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Demonstratio huius regulae est simplex:<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha ,\\neg\\alpha\\} \\vdash \\neg\\alpha <\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha ,\\neg\\alpha\\} \\vdash (\\neg\\alpha \\vee \\beta) <\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span><\/span>-Introductio<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha ,\\neg\\alpha\\} \\vdash (\\alpha \\rightarrow \\beta) <\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\rightarrow<\/span><\/span>-Definitio(2)<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha ,\\neg\\alpha\\} \\vdash \\alpha <\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{\\alpha ,\\neg\\alpha\\} \\vdash \\beta}<\/span><\/span><\/span><\/td>\n<td>; MP(4,3)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a name=\"9\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>\u2228-Remotio3<\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=qAJ_oaSfd9k&amp;t=1555s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">Modus ponens scribi potest<\/span><\/strong><\/a> duobus modis distinctis. Una ex formis quas iam novimus est <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha,(\\alpha \\rightarrow \\beta)\\}\\vdash \\beta<\/span><\/span>. Altera autem paulo minus nota est:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\vdash\\beta \\; \\wedge \\; \\vdash \\alpha \\; \\Longrightarrow \\; \\vdash \\beta<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">In hac forma secunda innixi, videre possumus extensionem huius regulae quam <strong>\u2228-Remotio3<\/strong> appellamus, quia similis est simplificationi quae ex disiunctione oritur. Haec regula declarat: si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma<\/span><\/span> ex <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> et ex <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> separatim deduci potest, et insuper disiunctio inter <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> et <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> est theorema, tunc <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma<\/span><\/span> est etiam theorema. Hoc formaliter sic exprimimus:<\/p>\n<p style=\"text-align: center;\"><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha\\}\\vdash\\gamma\\; \\wedge \\; \\{\\beta\\}\\vdash\\gamma \\; \\wedge \\; \\vdash (\\alpha \\vee \\beta)<\/span><\/span><\/span> <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Longrightarrow<\/span><\/span> <span style=\"color: #000088;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash \\gamma<\/span><\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Demonstratio huius technicae logicae classicae haec est:<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\alpha \\vdash \\gamma}<\/span><\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\beta \\vdash \\gamma}<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\vdash (\\alpha \\vee \\beta)}<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\alpha \\rightarrow \\gamma)<\/span><\/span><\/td>\n<td>; TD(1)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\beta \\rightarrow \\gamma)<\/span><\/span><\/td>\n<td>; TD(2)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg \\gamma \\rightarrow \\neg \\alpha)<\/span><\/span><\/td>\n<td>; CPI(4)<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg \\gamma \\rightarrow \\neg \\beta)<\/span><\/span><\/td>\n<td>; CPI(5)<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\neg \\gamma \\}\\vdash \\neg \\alpha<\/span><\/span><\/td>\n<td>; RTD(6)<\/td>\n<\/tr>\n<tr>\n<td>(9)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\neg \\gamma\\}\\vdash \\neg \\beta<\/span><\/span><\/td>\n<td>; RTD(7)<\/td>\n<\/tr>\n<tr>\n<td>(10)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\neg \\gamma\\}\\vdash (\\neg \\alpha \\wedge \\neg \\beta)<\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span><\/span>-Introductio(8,9)<\/td>\n<\/tr>\n<tr>\n<td>(11)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg \\gamma \\rightarrow (\\neg \\alpha \\wedge \\neg \\beta))<\/span><\/span><\/td>\n<td>; TD(10)<\/td>\n<\/tr>\n<tr>\n<td>(12)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg(\\neg \\alpha \\wedge \\neg \\beta)\\rightarrow \\gamma )<\/span><\/span><\/td>\n<td>; CPI(11)<\/td>\n<\/tr>\n<tr>\n<td>(13)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> (A \\wedge B) := \\neg(\\neg A \\vee \\neg B)<\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span><\/span> &#8211; Definitio<\/td>\n<\/tr>\n<tr>\n<td>(14)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\neg(A \\wedge B) := \\neg\\neg(\\neg A \\vee \\neg B)<\/span><\/span><\/td>\n<td>; Utraque pars negatur in (13)<\/td>\n<\/tr>\n<tr>\n<td>(15)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\neg(\\neg\\alpha \\wedge \\neg\\beta) := \\neg\\neg(\\neg\\neg\\alpha \\vee \\neg\\neg\\beta)<\/span><\/span><\/td>\n<td>; Substituendo <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">A:=\\neg\\alpha<\/span><\/span> et <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">B:=\\neg\\beta<\/span><\/span> in (14)<\/td>\n<\/tr>\n<tr>\n<td>(16)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\neg(\\neg\\alpha \\wedge \\neg\\beta) \\dashv \\vdash (\\alpha \\vee \\beta)<\/span><\/span><\/td>\n<td>; DN(15)<\/td>\n<\/tr>\n<tr>\n<td>(17)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash ((\\alpha \\vee \\beta) \\rightarrow \\neg(\\neg\\alpha \\wedge \\neg\\beta) )<\/span><\/span><\/td>\n<td>; TD(16)<\/td>\n<\/tr>\n<tr>\n<td>(17)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash ((\\alpha \\vee \\beta) \\rightarrow \\gamma )<\/span><\/span><\/td>\n<td>; SH(17,12)<\/td>\n<\/tr>\n<tr>\n<td>(18)<\/td>\n<td><span style=\"color: #000088;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{ \\vdash \\gamma}<\/span><\/span><\/span><\/td>\n<td>; MP(3,17)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a name=\"10\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>Probationes per Casus (cas)<\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=qAJ_oaSfd9k&amp;t=1957s\" target=\"_blank\" rel=\"noopener\"><span style=\"color: #ff0000;\">Alia ex technicis logicae classicae<\/span><\/a> est probatio per casus. Si expressio <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> tam ex alia expressione <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> quam ex eius negatione inferri potest, tunc expressio <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> est necessario theorema. Hoc formaliter repraesentatur scriptione: <span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha \\vdash \\beta \\; \\wedge \\; \\neg\\alpha \\vdash \\beta <\/span><\/span><\/span> <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Longrightarrow<\/span><\/span> <span style=\"color: #000088;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash \\beta<\/span><\/span><\/span>. Huius demonstratio est haec:<\/p>\n<p style=\"color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\n\\begin{array}{rll}\n\n(1) &amp; \\alpha \\vdash \\beta &amp;; Praemissa\\\\\n\n(2) &amp; \\neg \\alpha \\vdash \\beta &amp;; Praemissa \\\\\n\n(3) &amp; \\vdash \\alpha \\vee \\neg\\alpha &amp;; TAU \\\\\n\n(4) &amp; \\vdash \\beta &amp;; \\vee-Remotio3(1,2,3)\n\n\\end{array}\n\n<\/span><\/span><\/p>\n<p><a name=\"11\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h3>Reductio ad Absurdum (absurdo)<\/h3>\n<p style=\"text-align: justify;\">Una ex technicis logicae classicae maxime adhibitis in demonstrationibus, praesertim in mathematicis, est reductio ad absurdum. Haec consistit in hoc: si ex expressione <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> deducitur contradictio (scilicet affirmatio et eius negatio), tunc negatio <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> est tautologia. Formaliter exprimitur hoc modo: <span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\vdash \\beta \\; \\wedge \\; \\{\\alpha\\}\\vdash \\neg\\beta<\/span><\/span><\/span> <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Longrightarrow<\/span><\/span> <span style=\"color: #000088;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash \\neg\\alpha<\/span><\/span><\/span>. Et hoc demonstrari potest per sequentem ratiocinationem:<\/p>\n<table style=\"color: #000000;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{\\alpha\\}\\vdash \\beta}<\/span><\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span style=\"color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{\\alpha\\}\\vdash \\neg\\beta}<\/span><\/span><\/td>\n<td>; Praemissa<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha \\rightarrow \\beta)<\/span><\/span><\/td>\n<td>; TD(1)<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha \\rightarrow \\neg\\beta)<\/span><\/span><\/td>\n<td>; TD(2)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\neg \\beta \\rightarrow \\neg \\alpha)<\/span><\/span><\/td>\n<td>; CPI(3)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\beta \\rightarrow \\neg \\alpha)<\/span><\/span><\/td>\n<td>; CPI(4)<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg \\beta \\}\\vdash \\neg \\alpha<\/span><\/span><\/td>\n<td>; RTD(5)<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\beta \\}\\vdash \\neg \\alpha<\/span><\/span><\/td>\n<td>; RTD(6)<\/td>\n<\/tr>\n<tr>\n<td>(9)<\/td>\n<td><span style=\"color: #000088;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\vdash \\neg \\alpha}<\/span><\/span><\/span><\/td>\n<td>; CAS(7,8)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>Demonstratio Rationum Logicae Classicae SUMMARIUMIn hac lectione exhibentur variae technicae logicae classicae ad coniunctiones et disiunctiones introducendas atque removendas, praeterea regula tertii exclusi et regula contradictionis, quae etiam praeceptum explosionis appellatur. Explicatur quoque technica probationis per casus et reductio ad absurdum, ambae in demonstrationibus mathematicis ac logicis utilissimae. Unaquaeque technica formaliter exhibetur et demonstratio gradatim [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":27451,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":5,"footnotes":""},"categories":[1352,1358,1298],"tags":[],"class_list":["post-33841","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-logica-mathematica","category-logica-propositionalis","category-mathematica"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Demonstratio Rationum Logicae Classicae - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Logica Classica: introductio et remotio coniunctionum et disiunctionum, tertium exclusum, explosio, casus et reductio ad absurdum.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Demonstratio Rationum Logicae Classicae\" \/>\n<meta property=\"og:description\" content=\"Logica Classica: introductio et remotio coniunctionum et disiunctionum, tertium exclusum, explosio, casus et reductio ad absurdum.\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/\" \/>\n<meta property=\"og:site_name\" content=\"toposuranos.com\/material\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/toposuranos\" \/>\n<meta property=\"article:published_time\" content=\"2021-02-12T13:00:31+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-07-31T07:53:28+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/logicaclasica.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"Demonstratio Rationum Logicae Classicae\" \/>\n<meta name=\"twitter:description\" content=\"Logica Classica: introductio et remotio coniunctionum et disiunctionum, tertium exclusum, explosio, casus et reductio ad absurdum.\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/logicaclasica.jpg\" \/>\n<meta name=\"twitter:creator\" content=\"@topuranos\" \/>\n<meta name=\"twitter:site\" content=\"@topuranos\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"giorgio.reveco\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minuto\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"Demonstratio Rationum Logicae Classicae\",\"datePublished\":\"2021-02-12T13:00:31+00:00\",\"dateModified\":\"2025-07-31T07:53:28+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/\"},\"wordCount\":1458,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/logicaclasica.jpg\",\"articleSection\":[\"Logica Mathematica\",\"Logica Propositionalis\",\"Mathematica\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/\",\"name\":\"Demonstratio Rationum Logicae Classicae - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/logicaclasica.jpg\",\"datePublished\":\"2021-02-12T13:00:31+00:00\",\"dateModified\":\"2025-07-31T07:53:28+00:00\",\"description\":\"Logica Classica: introductio et remotio coniunctionum et disiunctionum, tertium exclusum, explosio, casus et reductio ad absurdum.\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/logicaclasica.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/logicaclasica.jpg\",\"width\":1024,\"height\":356},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/la\\\/demonstratio-rationum-logicae-classicae\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Demonstratio Rationum Logicae Classicae\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"name\":\"toposuranos.com\\\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\",\"name\":\"toposuranos.com\\\/material\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"width\":2400,\"height\":2059,\"caption\":\"toposuranos.com\\\/material\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/groups\\\/toposuranos\",\"https:\\\/\\\/x.com\\\/topuranos\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UC16yDm12cPcrwsE0fAM7X1g\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/69429190\"]},{\"@type\":\"Person\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\",\"name\":\"giorgio.reveco\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"caption\":\"giorgio.reveco\"},\"description\":\"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.\",\"sameAs\":[\"http:\\\/\\\/toposuranos.com\\\/material\"],\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/author\\\/giorgio-reveco\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Demonstratio Rationum Logicae Classicae - toposuranos.com\/material","description":"Logica Classica: introductio et remotio coniunctionum et disiunctionum, tertium exclusum, explosio, casus et reductio ad absurdum.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/","og_locale":"es_ES","og_type":"article","og_title":"Demonstratio Rationum Logicae Classicae","og_description":"Logica Classica: introductio et remotio coniunctionum et disiunctionum, tertium exclusum, explosio, casus et reductio ad absurdum.","og_url":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-02-12T13:00:31+00:00","article_modified_time":"2025-07-31T07:53:28+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/logicaclasica.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"Demonstratio Rationum Logicae Classicae","twitter_description":"Logica Classica: introductio et remotio coniunctionum et disiunctionum, tertium exclusum, explosio, casus et reductio ad absurdum.","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/logicaclasica.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"1 minuto"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"Demonstratio Rationum Logicae Classicae","datePublished":"2021-02-12T13:00:31+00:00","dateModified":"2025-07-31T07:53:28+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/"},"wordCount":1458,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/logicaclasica.jpg","articleSection":["Logica Mathematica","Logica Propositionalis","Mathematica"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/","url":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/","name":"Demonstratio Rationum Logicae Classicae - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/logicaclasica.jpg","datePublished":"2021-02-12T13:00:31+00:00","dateModified":"2025-07-31T07:53:28+00:00","description":"Logica Classica: introductio et remotio coniunctionum et disiunctionum, tertium exclusum, explosio, casus et reductio ad absurdum.","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/logicaclasica.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/logicaclasica.jpg","width":1024,"height":356},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/la\/demonstratio-rationum-logicae-classicae\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"Demonstratio Rationum Logicae Classicae"}]},{"@type":"WebSite","@id":"http:\/\/toposuranos.com\/material\/#website","url":"http:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"http:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"http:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","width":2400,"height":2059,"caption":"toposuranos.com\/material"},"image":{"@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/groups\/toposuranos","https:\/\/x.com\/topuranos","https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g","https:\/\/www.linkedin.com\/company\/69429190"]},{"@type":"Person","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1","name":"giorgio.reveco","image":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","caption":"giorgio.reveco"},"description":"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.","sameAs":["http:\/\/toposuranos.com\/material"],"url":"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33841","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=33841"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33841\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/27451"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=33841"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=33841"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=33841"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}