Logica - Nociones-Elementales 1

NOCIONES ELEMENTALES DE LÓGICA
MATEMÁTICA
Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente

que nos permitirá introducirnos a la Matemática: la Lógica Matemática,
que estudia las leyes que regulan el razonamiento. Dentro de esta
ciencia, nos enfocaremos en la lógica proposicional
En la lógica proposicional consideraremos dos elementos básicos:

Proposiciones y Conectivos.
1. Proposiciones
Son “enunciados” sobre los cuales podemos decidir, unıvocamente, sobre la verdad (V
) o falsedad (F) de ellas.
Así entonces, una proposición es una frase que es V o F, no existiendo la posibilidad
de obtener ambas decisiones conjuntamente (Principio del tercero excluido).
Observación 1.1 No son proposiciones los interrogativos y los imperativos dado que no
tiene sentido pensar en su valor de verdad.
Las proposiciones las denotamos por letras minúsculas p, q, r, etc., que representan,
en sí mismo, el significado particular que tengan al interior de una situación concreta.
● Algunos ejemplos de proposiciones:
Ejemplo 1.1
“p” representará, la proposición: “Hoy es un día lluvioso”, y denotamos p: “Hoy es un

día lluvioso“
Ejemplo 1.2
q : “Me siento feliz”
● Algunos ejemplos de expresiones que no son proposiciones:

Ejemplo 1.3 “Buenos días” ;
1.4 “Quién llamó?;
1.5 Basta!!!
2. Conectivos
En el lenguaje coloquial (cotidiano), construimos proposiciones compuestas, a partir de

la conexión entre otras simples. Para lograr esto el lenguaje cuenta con conectivos, uno
de ellos es aquel que nos permite decir que dos proposiciones ocurren
simultáneamente, en ese caso utilizamos la letra “y”. Si empleamos los ejemplos de las
proposiciones del punto 1 podríamos afirmar:
“Hoy es un día lluvioso“ y “Me siento feliz”
La representación formal (simbólica) de esta proposición compuesta sería:
p∧q
Algunos símbolos que, junto con las proposiciones básicas, nos permiten crear
nuevas proposiciones compuestas, son:
∼: se lee “no”,
∧: se lee “y”,
∨: se lee “ y/o”,
⇒: se lee “... implica ...” ó “si, ... entonces, ...”,
⇔: se lee “... equivalente con ...”. “Si y solo si…”
Observación 2.1 El conectivo “∼” se usa antes de una proposición, y los restantes
conectivos se usan entre dos proposiciones.
Observación 2.2. Si p, q, r son proposiciones, entonces también son
proposiciones:
1. ∼ p
2. p ∧ q
3. p ∨ q
4. p ⇒ q
5. p ⇔ q
6. p ∧ (q ∨ r)
7. [(∼ p) ∧ (q ∨ r)] ⇒ q
3. Tablas de Verdad
Las proposiciones compuestas, es decir, aquellas que contienen al menos un

conectivo, tienen, naturalmente, un valor veritativo, y para las proposiciones
compuestas básicas ese valor veritativo lo damos en las siguientes “tablas de
verdad”.
Tabla de Verdad de la Negación (∼)
Dada la proposición básica “p” , existe la negación de ella, denotada ∼ p, que se lee
“no p”, proposición que tiene la siguiente tabla de verdad.
p ∼p
V F
F V
Observación 3.1
Es claro que el valor veritativo de ∼ p es el contrario de p. Por ejemplo,
Si el valor de verdad de p: “Hoy llueve” es verdadero,
entonces ∼ p: “Hoy no llueve” es falso.
Tabla de Verdad de la Conjunción (∧)

Dadas las proposiciones “p”, “q”, existe la conjunción de ellas, denotada p ∧ q, que se
lee “p y q”, proposición tal que su tabla de verdad es
p p ∧ q
q
V V V
V F F
F F V
F F F
Observación 3.2
La conjunción es verdadera sólo si las proposiciones que la componen lo son.
Tabla de Verdad de la Disyunción (∨)

Dadas las proposiciones “p”, “q” existe la disyunción de ellas, denotada p ∨ q que se
lee “p o q”, proposición tal que su tabla de verdad es
p p ∨ q
q
V V V
V V F
F V V
F F F
Observación 3.3. La disyunción es verdadera siempre, menos cuando las

proposiciones que la componen son ambas falsas.
Observación 3.4. La disyunción presentada es incluyente, es decir, admite como

verdadera a la proposición p ∨ q cuando ambas proposiciones que la componen lo
son.
Tabla de Verdad de la Implicación (⇒)

Dadas las proposiciones “p”, “q” existe la implicación de p con q, denotada p ⇒ q, que
se lee “p implica q” o “si ocurre p, entonces ocurre q”, proposición tal que su tabla de
verdad es
p p ⇒ q
q
V V V
V F F
F V V
F V F
Observación 3.5. La implicación es verdadera siempre, menos cuando el antecedente p
es verdadero y el consecuente q es falso.
Tabla de Verdad de la Equivalencia (⇔)
Dadas las proposiciones “p”, “q”, existe la equivalencia de p con q, denotada p ⇔ q,

que se lee “p equivalente q” o “p si y sólo si q”, proposición tal que su tabla de verdad
es
p p⇔q q
V V V
V F F
F F V
F V F
Observación 3.6 Resulta natural que la equivalencia sea verdadera cuando las dos
proposiciones que la componen tienen el valor el mismo valor veritativo.

Logica - Nociones-Elementales 1

Cargado por

Copyright:

Formatos disponibles

Logica - Nociones-Elementales 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica - Nociones-Elementales 1

Cargado por

Copyright:

Formatos disponibles

NOCIONES ELEMENTALES DE LÓGICA

Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente

En la lógica proposicional consideraremos dos elementos básicos:

● Algunos ejemplos de proposiciones:

“p” representará, la proposición: “Hoy es un día lluvioso”, y denotamos p: “Hoy es un

q : “Me siento feliz”

● Algunos ejemplos de expresiones que no son proposiciones:

1.4 “Quién llamó?;

En el lenguaje coloquial (cotidiano), construimos proposiciones compuestas, a partir de

“Hoy es un día lluvioso“ y “Me siento feliz”

La representación formal (simbólica) de esta proposición compuesta sería:

⇒: se lee “... implica ...” ó “si, ... entonces, ...”,

⇔: se lee “... equivalente con ...”. “Si y solo si…”

Las proposiciones compuestas, es decir, aquellas que contienen al menos un

Tabla de Verdad de la Negación (∼)

entonces ∼ p: “Hoy no llueve” es falso.

Tabla de Verdad de la Conjunción (∧)

La conjunción es verdadera sólo si las proposiciones que la componen lo son.

Tabla de Verdad de la Disyunción (∨)

Observación 3.3. La disyunción es verdadera siempre, menos cuando las

Observación 3.4. La disyunción presentada es incluyente, es decir, admite como

Tabla de Verdad de la Implicación (⇒)

Tabla de Verdad de la Equivalencia (⇔)

Dadas las proposiciones “p”, “q”, existe la equivalencia de p con q, denotada p ⇔ q,

También podría gustarte