tu tara

ÁLGEBRA Y MATEMÁTICA DISCRETA

1

1.1. Definiciones básicas
1.2. Operaciones lógicas y tablas de verdad
1.3. Implicación y equivalencia lógicas
1.4. Métodos lógicos de demostración

TEMA 1LÓGICA PROPOSICIONAL

1.1

DEFINICIONES BÁSICAS

Término
cada una de las partes que constituyen un
enunciado o discurso
Términos categoremáticos
tienen significado propio e independienteLÓGICA PROPOSICIONAL

1.1

DEFINICIONES BÁSICAS

Proposición lógica
agrupación de términos de la que se puede
afirmar si su contenido es cierto o falso.

Términos sincategoremáticos
seutilizan para enlazar y modificar los
términos categoremáticos

1.1

DEFINICIONES BÁSICAS

Proposición atómica
no se puede descomponer en partes que sean
a su vez proposiciones y está enafirmativo.
Proposición molecular
formada por una o más proposiciones
atómicas modificadas o enlazadas por
términos sincategoremáticos.

1.1

DEFINICIONES BÁSICAS

Conectores proposicionalestérminos sincategoremáticos que se utilizan
para modificar o enlazar proposiciones.

1

1.1

DEFINICIONES BÁSICAS

1.1

DEFINICIONES BÁSICAS

Conectores Proposicionales Monádicos
se aplican auna sola proposición

Conectores Proposicionales Diádicos
se aplican a dos proposiciones

Negación (no...)

Conjunción
Disyunción no exclusiva
Disyunción exclusiva
Condicional
Bicondicional1.1

DEFINICIONES BÁSICAS

Variable Proposicional
símbolo que sustituye a una proposición
atómica.

1.1

(...y...)
(...o...)
(o...o...)
(si...entonces...)
(...si y sólo si...)DEFINICIONES BÁSICAS

Signo conectivo o constante lógica
símbolo que sustituye a un conector
proposicional.
negación
conjunción
disyunción no exclusiva
disyunción exclusiva
condicional oimplicador
bicondicional o coimplicador

1.1

DEFINICIONES BÁSICAS

1.2

¬
∧
∨
∆
→

↔

OPERACIONES LÓGICAS
Y TABLAS DE VERDAD

NEGACIÓN
Fórmula lógica
Expresión simbólica que...