CAPITULO 1-logica-MMCY

UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I
FACULTAD DE INGENIERIA MAT 100

INGENIERIA ELECTRONICA I/2020
AUX. DOC. UNIV. MOISES MARTIN CONDORI YUJRA
CAPITULO 1
LOGICA
1. Introducción
La lógica estudia las formas de razonamiento correcto (símbolos lógicos), también sabemos que la lógica de
proposiciones enseña a emplear el raciocinio para conocer y juzgar con exactitud.
2. Lógica de proposiciones
Una proposición es una representación real que puede ser verdadera o falsa, por lo tonto tenemos dos posibilidades.
En base a una relación de proposiciones se asignan tres operaciones fundamentales, que son:
• Proposición intersección
• Proposición unión
• Proposición negación
Las proposiciones serán verdaderas o falsas, las que pueden ser representadas por letras y su relación por símbolos en
cada una de las tres operaciones fundamentales.
3. Proposición compuesta
Está formada por dos o mas proposiciones simples vinculadas mediante conectivos lógicos. Donde: p, q son
proposiciones.
4. Conectivos lógicos
Conectividad Nombre Aplicación Gramática

1. Negación p no p
2.  Conjunción p  q pyq
3.  Disyunción p  q p o q (Incluyente)
4. → Condicional p→q si p entonces q
5.  Bicondicional pq p y solo si q
6.  Disyunción exclusiva pq p ó q (Excluyente)
5. Tablas de Verdad (TV)
La TV explica el conjunto de posibilidades de grado de verdad de una proposición compuesta a partir de la combinación
de los grados de verdad de sus proporciones simples, el número de posibilidades es:
N = 2n
AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 1

Donde: n: es el número de proposiciones simples presentes en la proposición compuesta.

Tablas de Verdad de las operaciones lógicas más importantes
1.- Negación 4.- Condicional (Implicación)

p p p q p→q
V F V V V
F V V F F
F V V
F F V
2.- Conjunción
p q p  q
5.-Bicondicional (Doble Implicación)
V V V
V F F p q pq
F V F V V V
F F F V F F
F V F
3.- Disyunción F F V
p q p  q
6.-Disyuncion exclusiva (diferencia simétrica)
V V V
V F V p q pq
F V V V V F
F F F V F V
F V V
F F F
6. Equivalencia lógica
Dos proposiciones son equivalentes (  ) si tienen la misma tabla de verdad.
7. Algebra de Proposiciones:
Ley de involución o doble negación ( p)  p

Ley de impotencia p  p  p; p  p  p
Leyes conmutativas p  q  q  p; p  q  q  p
Leyes asociativas ( p  q)  r  p  (q  r );
( p  q)  r  p  ( q  r )

Leyes distributivas ( p  q)  r  ( p  r )  (q  r );
( p  q)  r  ( p  r )  ( q  r )
Leyes de De Morgan ( p  q)  p  q;
( p  q)  p  q
Leyes de negación(inversas) p  p  F; p  p V
Leyes de identidad(neutro) p  V  p; p  V  V
Leyes de dominación p  F  F; p  V  V
Leyes de absorción p  ( p  q)  p; p  ( p  q)  p
Definición de implicación p→q p  q
Definición de doble implicación p  q  ( p → q)  (q → p)  ( p  q)
Definición de disyunción exclusiva ( p  q)  ( p  q)  ( p  q)  (q  p)
Definiciones:
• Tautología: Si una proposición compuesta es Verdadera para cualquier valor de verdad de sus proposiciones
simples se dice que es tautología.
• Contradicción: si una proposición compuesta es falsa para cualquier valor de verdad de sus proposiciones
simples en una contradicción.
• Contingencia: una proposición que no es tautología ni contradicción.
8. Circuitos lógicos
El paso de corriente eléctrica puede asociarse al cierre o apertura de un interruptor.

p
Circuito abierto, donde p = F

p
Circuito cerrado, donde p = V

Circuito en serie:
p q
Es Equivalente a  p  q
Circuito en paralelo:
p  q
INFERENCIA LOGICA
Se entiende por inferencia lógica a un razonamiento de carácter lógico, que a partir de un conjunto de premisas (todas
verdaderas) se llega a una consecuencia valida(verdadera). Existe Reglas de Inferencia lógica que permiten eliminar la
ambigüedad del lenguaje oral o escrito.
P1
P2
P3
( P1  P2  P3  P4  P5  ...  Pn ) → Q 
PREMISAS VERDADERAS
Pn
Q

REGLAS DE INFERENCIA.
1.- Modo Ponendo Ponens (PP)
p→q 7.-Ley De Adición (LA)
p p
q p A
2.- Modo Tollendo Tollens (TT) 8.-Dilema constructivo (DC)
p→q p→q
q r →t
p pr
3.- Modo Tollendo Ponens (TP) q t
pq pq 9.- Dilema Constructivo (DD)
p
ó
q p→q
q p r →t
4.- Ley De La Conjunción q t
p r
p
q
p  q
5.- Ley de la simplificación (LS)
p  q p  q p  q
ó ó
p q p
q
6.- Silogismo Hipotético (SH)
p→q
q→r
p →r

CAPITULO 1-logica-MMCY

Cargado por

Copyright:

Formatos disponibles

CAPITULO 1-logica-MMCY

Cargado por

Información del documento

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

CAPITULO 1-logica-MMCY

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I

FACULTAD DE INGENIERIA MAT 100

Conectividad Nombre Aplicación Gramática

5. Tablas de Verdad (TV)

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 1

Donde: n: es el número de proposiciones simples presentes en la proposición compuesta.

1.- Negación 4.- Condicional (Implicación)

Dos proposiciones son equivalentes (  ) si tienen la misma tabla de verdad.

Ley de involución o doble negación ( p)  p

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 2

El paso de corriente eléctrica puede asociarse al cierre o apertura de un interruptor.

Circuito abierto, donde p = F

Circuito cerrado, donde p = V

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 3

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 4

p→q 7.-Ley De Adición (LA)

pq pq 9.- Dilema Constructivo (DD)

5.- Ley de la simplificación (LS)

6.- Silogismo Hipotético (SH)

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 5

También podría gustarte