Está en la página 1de 4

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

Lógica, Proposiciones y tabla de verdad

https://prezi.com/hn13h-cwua1w/logica-proposiciones-y-tablas-de-verdad/

Tablas de Verdad

https://www.ecured.cu/Tablas_de_la_verdad

Circuito lógico

https://ciencias-basicas.com/matematica/superior/logica-proposicional/circuitos-logicos/

Formulario de LEYES LOGICAS

https://www.google.com/amp/s/websisblog.wordpress.com/2013/10/29/formulario-de-leyes-logicas/amp/

También podría gustarte