tecwilliams
Espero te sirva Para comprender los principios de la lógica matemática en el campo del Cálculo Proposicional, necesitamos conocer una serie de conceptos básicos que se describen a continuación:Átomo: También llamado Fórmula Atómica o Enunciado Simple. Permite la formalización de una frase declarativa que no se puede descomponer en frases más simples. Para denotar átomos se utilizan las letras p,q, r, etc.Conectiva: Operador que permite construir sentencias compuestas a partir de átomos. Las principales conectivas lógicas son: Ø , Ù , Ú , ® .Enunciado: También llamado Fórmula. Es una expresión realizada con átomos y conectivas lógicas, siguiendo unas determinadas normas. Para denotar enunciados se utilizan las letras A, B, C, etc.Deducción: Consiste en una lista de enunciados que, o bien son dados previamente, en este caso se llaman Premisas, o bien se han obtenido de enunciados anteriores mediante la utilización de un conjunto finito de reglas denominadas Reglas de Inferencia.
Para comprender los principios de la lógica matemática en el campo del Cálculo Proposicional, necesitamos conocer una serie de conceptos básicos que se describen a continuación:Átomo: También llamado Fórmula Atómica o Enunciado Simple. Permite la formalización de una frase declarativa que no se puede descomponer en frases más simples. Para denotar átomos se utilizan las letras p,q, r, etc.Conectiva: Operador que permite construir sentencias compuestas a partir de átomos. Las principales conectivas lógicas son: Ø , Ù , Ú , ® .Enunciado: También llamado Fórmula. Es una expresión realizada con átomos y conectivas lógicas, siguiendo unas determinadas normas. Para denotar enunciados se utilizan las letras A, B, C, etc.Deducción: Consiste en una lista de enunciados que, o bien son dados previamente, en este caso se llaman Premisas, o bien se han obtenido de enunciados anteriores mediante la utilización de un conjunto finito de reglas denominadas Reglas de Inferencia.