CONSIDERACIONES TEORICAS DE LA UNIDAD O TEMA 1: LOGICA SIMBOLICA
Lógica. Es la disciplina que trata de los métodos, modos y formas del razonamiento humano, introduciendo símbolos y conectivos lógicos en la construcción de proposiciones.
Proposición. Es toda oración o enunciado, respecto de la cual se puede decir si es verdadera o
falsa. Si una proposición es verdadera se dice que su valor de verdad es V y si es falsa se dice que su valor de verdad es F.
Notaciones. Se denotan las proposiciones simples con las letras minúsculas p, q, r, etc.
Conectivos lógicos. Se definen así a ciertas constantes proposicionales que utilizamos a partir de proposiciones simples para generar otras proposiciones.
Operaciones proposicionales. Estas son la negación, conjunción, disyunción, implicación,
doble implicación y la disyunción exclusiva.
Formula proposicional. Es una combinación de proposiciones y conectivos lógicos que
simboliza a una proposición compuesta.
Tabla de valores de verdad. Si en una formula proposicional intervienen “n” proposiciones
simples diferentes, entonces en la tabla de valores de verdad habrá 2𝑛 combinaciones diferentes. Así para dos proposiciones se tiene 22 = 4 combinaciones de V y F.
Clasificación de fórmulas proposicionales. Se clasifican según sus valores de verdad en
Tautología, Contradicción y Contingencia.
a) Tautología. Es una formula proposicional que es verdadera para cualquier valor de
verdad de las proposiciones que la componen.
b) Contradicción. Es una formula proposicional que es falsa para cualquier valor de verdad de las proposiciones que la componen.
c) Contingencia. Es una formula proposicional que no es tautología ni contradicción.
Equivalencia lógica. Se define así a dos fórmulas proposicionales que presentan las tablas de verdad idénticas, su símbolo es ≡ para expresar la equivalencia entre dos fórmulas proposicionales. Ej. de EQUIVALENCIA LÓGICA: p <=> q ≡ ~ (p v q)
Leyes lógicas. Son formulas proposicionales lógicamente equivalentes, estas son:
1. LEYES DE IDEMPOTENCIA p ^ p ≡ p; p v p ≡p
2. LEYES CONMUTATIVAS p ^ q ≡ q ^ p; p ^ q ≡ q ^p
3. LEYES ASOCIATIVAS (p ^ q) ^ r ≡ p ^ (q ^ r); (p v q) v r ≡ p v (q v r)
~ (~ p) ≡ p
4. LEYES DE NEGACIÓN p^~p≡F
pv~p≡V
p^V≡p 5. LEYES DE IDENTIDAD pvF≡p
~ (p ^ q) ≡ ~ p v ~ q 6. LEYES de DE MORGAN ~ (p v q) ≡ ~ p ^ ~ q
7. DEFINICIÓN DE IMPLICACIÓN p→q≡~pvq
8. LEYES DISTRIBUTIVAS p ^ (q v r) ≡ (p ^ q) v (p ^ r) p v (q ^ r) ≡ (p v q) ^ (p v r) p ^ (p v q) ≡ p
p v (p ^ q) ≡ p 9. LEYES DE ABSORCIÓN p^F≡F
pvV≡V
10. DEFINICIÓN DE DOBLE
p ↔ q ≡ (p → q) ^ (q → p) IMPLICACIÓN
Circuitos lógicos. Si asociamos una proposición a cada interruptor vemos que en el álgebra de circuitos la V indica el interruptor cerrado y F interruptor abierto.
El circuito lógico que representa a una proposición p es:
Hay dos clases de circuitos lógicos:
• En serie. Que representa la conjunción de dos proposiciones (p ^ q).
• En paralelo. Que representa la disyunción de dos proposiciones (p v q).
Inferencia lógica. Se define así a un razonamiento en el cual a partir de un conjunto de
proposiciones llamadas premisas, se obtiene un resultado llamado conclusión.
Reglas de inferencia. Se definen así a todo argumento o formas correctas que representan métodos de razonamiento valido. Las formas correctas de razonamientos son: Función o esquema proposicional en una variable x. Se define así a toda expresión en la cual x representa al objeto o sujeto perteneciente a cierto conjunto; la que se convierte en proposición para cada especificación de x. Cuantificadores. Se define cuantificación a un proceso que a partir de funciones proposiciones, se puede obtener proposiciones generales. Para esto, introducimos los símbolos ∀ y ∃, llamados cuantificadores: universal y existencial. Los cuales asociados a la variable x expresamos: ∀x Se expresa “para todo x” ∃x Se expresa “existe algún x, tal que” LINKS DE AVANCE ACADEMICO PARA LOGICA SIMBOLICA Y A FINES
