Probationes per Inductionem: Regulae Generalizatae De Morgan et Distributio SUMMARIUMIn hac lectione agitur de probationibus per inductionem in mathematica et logica propositionali. Exponuntur duo genera probationum: probationes internae sive deductivae, quae in regulis logicae nituntur, et probationes externae sive metamathematicae, quae necessariae sunt ad enuntiata probanda quae ad ipsam logicam...
Inductio de Complexitate Formularum SUMMARIUMIn hac lectione disces de variatione inductionis mathematicae, quae "inductio de complexitate expressionum" appellatur, quae admodum utilis est ad proprietates in logica propositionali demonstrandas. Per exemplum simplex, theorema substitutionis, videbis quomodo haec technica applicetur et quomodo demonstrari possit proprietatem valere pro omnibus expressionibus logicae propositionalis. Praeterea...
Formae Normales earumque Proprietates SUMMARIUMLogica propositionis est instrumentum fundamentale in mathematica et informatica. In hac lectione exhibebitur propositio et utilis, ad formas normales pertinens. Propter hoc definientur notiones litteralis, formae normalis coniunctivae (FNC), atque formae normalis disiunctivae (FND). Praeterea demonstrabitur theorema formarum normalium, quod statuit omnes formulas logicae propositionis aequivalere...
Algorithmus Formae Normalis et Applicationes SUMMARIUMIn hac lectione algorithmum FND/FNC recognoscemus, qui nobis permittet, ex qualibet expressione logicae propositionis, eius expressionem aequivalentem in forma normali coniunctiva vel disiunctiva invenire. Incipiemus explicando tres gradus huius algoritmi componentes, qui constant in eliminatione implicationum et biimplicationum, eliminatione negationum duplicium atque applicatione distributionis, secundum...
