Lógica

proposicional

1 PROPOSICIÓN LÓGICA
Agrupación de términos de la que se puede afirmar si
su contenido es falso o verdadero, pero no ambas cosas

Ej: Mercurio es un planeta (V).

Ej: Colombia es un continente (F)

2 PROPOSICIÓN ATÓMICA
Proposición que no puede descomponerse en partes que
sean a su vez proposiciones, se caracterizan por
estar expresada básicamente ya que no hace uso de
términos de enlace.
Ej: p: 5 es un número par
Ej: q: un cubo tiene 6 caras
Ej: r: los murciélago son mamífero

3 PROPOSICIÓN
MOLECULAR
Proposición formada para una o varias proposiciones
atómicas (simples) a través de términos de enlace
denominados "CONECTORES LOGICOS"
Ej de conectores: (y), ( si y solo si) (o), (no),
(si... Entonces)

4 CONECTORES
PROPOSICIONALES
Términos sincategorematicos que se usan para
modificar o enlazar proposiciones

CONECTORES
5 MONADICOS
Se aplican a una sola proposición
Ej: Negacion Representación: (~,-,/)
Ej: p: La clase de lógica es mañana
Ej: ~p: La clase de lógica no es mañana

6 CONECTORES
DIATICOS

Se aplica en dos proposiciones

Ej. Conjunción (y), disyunción (o) disyunción esclusiva(
o...o...) Condicional (si... Entonces) bicondicional (si y
solo si).
 Lógica
proposicional

7 SINBOLIZACION
Proposiciones atómicas se simbolizan por letras
minúsculas comenzando por la p: p,q,r y s.

8 VARIABLE
PROPOSICIONAL

Simbolo que sustituye a una proposición

atómica. Son letras minúsculas del
alfabeto y se usan p,q,r,s,t,etc.
Ej: p q →
Ej: ~p

9 CONECTIVO U
OPERADOR LÓGICO

Símbolo del conector proposicional.

10 FORMULA LOGICA
expresion simbolica que sustituye a una proposición
molecular.
Ej: ~p: Hoy no es lunes
Ej: p^q:Messi jugo y estaba lesionado
→
Ej: p q: Llegue tarde por qué el carro se descompuso

11 ALGEBRA DE
PROPOSICIONES
construcción de fórmulas lógicas y estudio de su veracidad
o falsedad así como de sus propiedades.
 Axiomas del
algebra de
proposiciones

1 AXIOMA 1
Toda proposicion es verdadera
o falsa, es decir, toma
valores 0 o 1.

2 AXIOMA 2

Una formula lógica representa

una proposición cuyo valor de
verdad o falsedad depende de los
conectores y los valores de
verdad o falsedad de las
variables proposicionales que la
contienen.

3 AXIOMA 3
los valores de verdad o
falsedad de las fórmulas
lógicas se establecen en
tablas llamadas: TABLAS DE
VERDAD.

4 OPERACION LOGICA
cuando modificamls o enlazamos una o varias proposiciones
mediante conectores obteniendo una nueva proposición.
 logica
proporcional

1.2 Tablas de verdad

QUE SON LAS

1 TABLAS DE
VERDAD
2 PARA QUE NOS SIRVE
LAS TABLAS DE VERDAD

Una tabla de verdad, o Es usada en el ámbito de la

tabla de valores de lógica, para obtener la
verdades, es una tabla que verdad (V) o falsedad (F),
muestra el valor de verdad
valores de verdad, de una
de una proposición
expresión o de una
compuesta, para cada
combinación de verdad que proposición.
se pueda asignar

3 EJEMPLOS COMO LA N=1

4 EJEMPLOS COMO LA N=2

Variable proporcional Ya aquí es variables

proporcionales por qué ya usan
dos proporciones

5 EJEMPLOS COMO LA N=3

6 EJEMPLO COMO LA N=4

Variables proporcionales ya Proporciones que contiene

que tiene más de dos más de tres variables se
proporciones considera como n=4
 1.3 operadores lógicos

1 NEGACIÓN 2 CONJUNCION

Dada una proposición p su Dadas dos proposiciones

contraria No p es verdadera
cuando aquella es falsa y se
simbolizan -p
p,q, el producto lógico es
la proposición molecular p
y q que se simbolizan (p^q)

3 DISYUNCION

Dadas dos proposiciones 4 DISYUNCION EXCLUSIVA

p,q, la suma lógica es

Dadas dos proposiciones p,q, la
la proposición molecular DISYUNCION Exclusiva es la
p o q que se simbolizan proposición molecular que se
(p v q). simboliza (p∆q)

5 CONJUNCIÓN NEGATIVA
6 CONDICIONAL

Dadas dos proposiciones Dadas dos proposiciones

p,q, la conjunción
negativa significa
lingüísticamente "ni" y
se simboliza (p q) ↓
p,q, el condicional es
la proposición molecular
si p "entonces" q que se
→
simboliza (p q)

7 BICONDICIONAL

Dadas dos priposiciones

p,q, el BiCONDICIONAL es
la proposición molecular
p "si y solo si" q que
se simboliza (p ←→
q)
 lógica
proporcional

1.4 Tautología contradicción y

contingencia

1 TAUTOLOGIA
2 CONTRADICCION

Es una proporción que Es una proporción que

siempre es verdadera
independiente de los
valores de variedad de
sus proposiciones
componentes
EJEMPLO: P v ¬P
siempre es falsa
independientemente de los
valores de variedad de sus
proporciones componentes
EJEMPLOS: P^¬P

3 CONTIGENCIA
4 QUE ES REALMENTE LA
TAUTOLOGIA
Se emplea el término tautología
para referirse a aquellos
Es una proporción que enunciados autoevidentes,
puede ser verdadera o obvios o redundantes, o sea,
falsa que resultan verdaderos desde
EJEMPLO ∨ ↓
(p q) cualquier posible
interpretación

5 6
QU ES REALMENTE LA QUE ES REALMENTE LA
CONTRADICCION CONTIGENCIA

Son ciertas en cualquier

formulación posible, las
Es un cuyo valor verdadero
contradicciones son falsas
o falso no dependerá del
sean cuales sean los valores
de sus premisas, ya que en su
valor de sus premisas, de
estructura argumental se niega modo que no será ni
la conclusión que se desea de verdadera ni falsa.
obtenerlo

7 EN TABLAS DE VERDAD
 lógica
proporcional

1.5 Equivalencia e implicación

lógicas
Proposiciones equivalentes: si sus tablas de verdad
coinciden exactamente, se simboliza ⇔

IMPLICACIÓN:

Se dice que una proposición P implica lógicamente a Q y se

escribe P ⇒ Q si y solo si la condicional P → Q es una
tautología, es decir, en ningún caso P es verdadera y Q es
falsa.

LA IMPLICACIÓN CUMPLE LAS PROPIEDADES:

1.Reflexiva P ⇒ P
2.Antisimétrica [(P⇒ ∧ ⇒ → ⇔
Q) (Q P)] (P Q)
3.Transitiva [(P ⇒ ∧ ⇒ → ⇒
Q) (Q R)] (P R)

TEOREMA

P ⇒ Q se denomina Teorema donde P es condición

suficiente para Q o Q es condición necesaria para P

TIPOS DE TEOREMA

Teorema directo: P ⇒Q
Teorema recíproco: Q ⇒ P
Teorema contrario: ¬P ⇒¬Q
Teorema contrarrecíproco: ¬Q ⇒¬P
 lógica
proporcional

1.6 Leyes Lógicas

Las leyes lógicas, son proposiciones universales,
necesarias, evidentes y verdaderas. Dichas leyes son
cuatro, el principio de identidad, el de
contradicción, el de tercero excluido y el de razón
suficiente.

LEYES DE ABSORCIÓN LEYES DE IDEMPOTENCIA

LEYES DE ASOCIATIVIDAD
LEYES DE
CONMUTATIVIDAD

LEYES DE
COMPLEMENTACIÓN LEYES DE DISTRIBUTIVIDAD

LEYES DE IDENTIDAD LEY DE LA DOBLE NEGACIÓN

O DE INVOLUCIÓN

LEYES DE DE MORGAN LEYES DE SIMPLIFICACIÓN