Resumen Unidad I

Proposiciones
Las proposiciones son expresiones que permiten evaluar un sujeto que

solo puede ser verdadero o falso, pero no las dos a las vez, esta se expresa
en:
Verdadero: 1
Falso: 0
Ejemplo de proposición:
Agua pura de manantial (falso)
Ejemplo de no proposición:
Buenas tardes, ya llegue!
La notación se llevara mediante con las letras minúsculas p,q,r,s,t. y estas

son asignadas a la proposición, para ser calificar su valor lógico, por
ejemplo:
P: Agua pura de manantial ---tiene un valor lógico VL(P)=0
Operaciones veritativas
Los conectivos lógicos son símbolos que permiten unir dos o mas
proposiciones , a partir de las iníciales dadas.
Las proposiciones cuando no tienen conectivos lógicos se les denomina

atómica o simple, en caso contrario se denominan compuesta o molecular.
Las operaciones veritativas son aquellas que usan conectivos y sus

operaciones para formar nuevas proposiciones.
Conectores lógicos:
La negación
Si existe una proposición p y su negación ˜ p su tabla de la verdad será la

siguiente:
P ~p
1 0 Lo cual se expresa de la forma--- VL(P)= 1 –VL(~P)
0 1
La conjunción
Si existen dos proposiciones p y q, la conjunción será denotada p^q,y sus

valores lógicos están dados por la siguiente tabla:
P q p^q
1 1 1
1 0 0
0 1 0
0 0 0
Ser a entonces el valor menor de los números dados VL(p^q) = menor

(VL(p), VL(q))
La disyunción inclusiva
Sea p y q proposiciones, la disyunción se expresa p ν q, y su valor lógico

esta dado por la siguiente tabla :
P q pνq
1 1 1
1 0 1
0 1 1
0 0 0
Ser a entonces el valor mayor de los números dados VL(p ν q) = mayor

(VL(p), VL(q))
La disyunción exclusiva
Si p y q son proposiciones, la disyunción exclusiva se expresa mediante p v

q, y es falsa para los valores lógicos iguales de p y q , su tabla de valor
lógico esta dada por:
P q pvq
1 1 0
1 0 1
0 1 1
0 0 0
VL(pv q) = 0 si VL (p) = VL ( q ).
El condicional
Si p y q son proposiciones , el condicional con antecedente p y consecuente

q es la proposición p → q, que se lee "si p, entonces q", y cuyo valor lógico
está dado por la siguiente tabla:
P q p→q
1 1 1
1 0 0
0 1 1
0 0 1
Un condicional puede ser llamado condiciones necesarias o suficientes . El

antecedente es la condición suficiente y el consecuente es la condición
necesaria.
El bicondicional
Sean p y q proposiciones, el bicondicional se expresa p<<q, que se lee “p

si solo si q” , y su tabla de valor lógico esta dada por :
P q p << q
1 1 1
1 0 0
0 1 0
0 0 1
Que se expresa mediante VL(p<<q) = 1 si VL(p)=VL(q)
Tablas de la verdad de formas proposicionales
Esta tabla de la verdad se construye para resolver proposiciones

compuestas, resolviendo las más simples de acuerdo a los operados que
tengan.
Es muy difícil determinar los valores específicos de cada función, para ello
se elabora una tabla de la verdad que indique todas las diferentes
combinaciones que se presenten .
Tautologías y contradicción
Proposición tautológica: es aquella que proposición que todo los valores de

la tabla de la verdad son 1.
Por otra parte, la contradicción es aquella proposición que siempre es falsa,

cuando todos los valores de la tabla de la verdad son 0.
Leyes del Algebra de Proposiciones
1. Leyes Idempotentes
1.1. pÚ p º p
1.2. pÙ p º p
2. Leyes Asociativas
2.1. (P Ú q) Ú r º p Ú (q Ú r)
2.2. (P Ù q) Ù r º p Ù (q Ù r)
3. Leyes Conmutativas
3.1. P Ú q º q Ú p
3.2. P Ù q º q Ù p
4. Leyes Distributivas
4.1. P Ú ( q Ù r ) º ( p Ú q ) Ù (p Ú r)
4.2. P Ù ( q Ú r ) º ( p Ù q ) Ú (p Ù r)
5. Leyes de Identidad
5.1. P Ú F º P
5.2. P Ù F º F
5.3. P Ú V º V
5.4. P Ù V º P
6. Leyes de Complementación
6.1. P Ú ~ P º V (tercio excluido)

6.2. P Ù ~ P º F (contradicción)
6.3. ~ ~ P º P (doble negación)
6.4. ~ V º F, ~ F º V
7. Leyes De Morgan
7.1. ~ ( P Ú q ) º ~ P Ù ~ q
7.2. ~ ( P Ù q ) º ~ P Ú ~ q
Equivalencia e Implicación lógica
Si A y B son dos formas proposicionales. Se dice que A Implica

Lógicamente a B, o simplemente A implica a B, y se escribe:
AÞ B si el condicional A® B es una tautología
Definición (Proposiciones Equivalentes)
Sean A y B dos formas proposicionales. Diremos que A es Lógicamente

Equivalente a B, o simplemente que A es equivalente a B, y escribimos
A  B o A  B,
Si y sólo si la forma bicondicional A  B es una tautología.
Razonamientos
Un razonamiento o una inferencia es la aseveración de que una proposición,

llamada conclusión es consecuencia de otras proposiciones dadas
llamadas premisas.
Forma Proposicional de un Razonamiento
Un razonamiento con premisas P1, P2, P3, P4, & .., Pn y conclusión C
lo escribiremos en forma proposicional como:
P1
P2
P3
P4
Pn
----
Definición: Diremos que un razonamiento es válido o correcto si la

conjunción de premisas implica lógicamente la conclusión, en otro caso se
dice que es no válido.
Un razonamiento que no es válido es llamado falacia.
Para saber si un razonamiento es válido utilizaremos una serie de pasos

lógicos, tomando en cuenta las premisas para llegar a la conclusión. Este
procedimiento es llamado demostración.
Métodos de Demostración
Demostración Directa
En la demostración directa debemos probar una implicación:
P Þ q. Esto es, llegar a la conclusión q a partir de la premisa p mediante una

secuencia de proposiciones en las que se utilizan axiomas, definiciones,
teoremas o propiedades demostradas previamente.
Demostración Indirecta
Dentro de este método veremos dos formas de demostración:
Método del Contrarrecíproco: Otra forma proposicional equivalente a p®

C nos proporciona la Ley del contrarrecíproco: P ® C º ~ C ® ~ P.
Esta equivalencia nos proporciona otro método de demostración, llamado el
método del contrarrecíproco, según el cual, para demostrar que pÞ C, se
prueba que ~ C Þ ~ P.
Demostración por Reducción al Absurdo: la proposición p Þ q es

tautológicamente equivalente a la proposición (p Ù ~ q) Þ (r Ù ~ r) siendo r
una proposición cualquiera, para esto usaremos el útil método de las tablas
de verdad.
Inferencia
1. Modus Ponendo Ponens(MPP)
(p® q) Ù p Þ q p® q
p
----------
q
2. Modus Tollendo Tollens (MTT)
(p® q) Ù ~ qÞ ~ p p® q
~q
-----------
~p
3. Silogismo Disyuntivo (S.D)
(pÚ q) Ù ~ qÞ p pÚq ó pÚq

(pÚ q) Ù ~ pÞ q ~q ~p
------------ -----------
p q
4. Silogismo Hipotético(S.H)
(p® q) Ù (q® r) Þ (p® r) p® q

q® r
----------
p® r
5. Ley de Simplificación
pÙqÞp pÙq ó pÙq

pÙqÞq p q
6. Ley de la Adición
pÞ p Ú q p q
---------- ó ---------
qÞpÚq pÚq pÚq
7. Ley de Conjunción
( p )Ù ( q)Þ ( p Ù q) p
q
---------
pÙq
Circuitos Lógicos
Los circuitos lógicos o redes de conmutación los podemos identificar

con una forma proposicional. Es decir, dada una forma proposicional,
podemos asociarle un circuito; o dado un circuito podemos asociarle la
forma proposicional correspondiente. Además, usando las leyes del álgebra
proposicional podemos simplificar los circuitos en otros más sencillos, pero
que cumplen la misma función que el original.

Resumen Unidad I

Cargado por

Copyright:

Formatos disponibles

Resumen Unidad I

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

Resumen Unidad I

Cargado por

Copyright:

Formatos disponibles

Proposiciones

Las proposiciones son expresiones que permiten evaluar un sujeto que

Agua pura de manantial (falso)

Buenas tardes, ya llegue!

La notación se llevara mediante con las letras minúsculas p,q,r,s,t. y estas

P: Agua pura de manantial ---tiene un valor lógico VL(P)=0

Las proposiciones cuando no tienen conectivos lógicos se les denomina

Las operaciones veritativas son aquellas que usan conectivos y sus

Si existe una proposición p y su negación ˜ p su tabla de la verdad será la

1 0 Lo cual se expresa de la forma--- VL(P)= 1 –VL(~P)

Si existen dos proposiciones p y q, la conjunción será denotada p^q,y sus

Ser a entonces el valor menor de los números dados VL(p^q) = menor

Sea p y q proposiciones, la disyunción se expresa p ν q, y su valor lógico

Ser a entonces el valor mayor de los números dados VL(p ν q) = mayor

Si p y q son proposiciones, la disyunción exclusiva se expresa mediante p v

Si p y q son proposiciones , el condicional con antecedente p y consecuente

Un condicional puede ser llamado condiciones necesarias o suficientes . El

Sean p y q proposiciones, el bicondicional se expresa p<<q, que se lee “p

Que se expresa mediante VL(p<<q) = 1 si VL(p)=VL(q)

Tablas de la verdad de formas proposicionales

Esta tabla de la verdad se construye para resolver proposiciones

Proposición tautológica: es aquella que proposición que todo los valores de

Por otra parte, la contradicción es aquella proposición que siempre es falsa,

Leyes del Algebra de Proposiciones

6.1. P Ú ~ P º V (tercio excluido)

Equivalencia e Implicación lógica

Si A y B son dos formas proposicionales. Se dice que A Implica

AÞ B si el condicional A® B es una tautología

Definición (Proposiciones Equivalentes)

Sean A y B dos formas proposicionales. Diremos que A es Lógicamente

Si y sólo si la forma bicondicional A  B es una tautología.

Un razonamiento o una inferencia es la aseveración de que una proposición,

Forma Proposicional de un Razonamiento

Definición: Diremos que un razonamiento es válido o correcto si la

Un razonamiento que no es válido es llamado falacia.

Para saber si un razonamiento es válido utilizaremos una serie de pasos

En la demostración directa debemos probar una implicación:

P Þ q. Esto es, llegar a la conclusión q a partir de la premisa p mediante una

Dentro de este método veremos dos formas de demostración:

Método del Contrarrecíproco: Otra forma proposicional equivalente a p®

Demostración por Reducción al Absurdo: la proposición p Þ q es

1. Modus Ponendo Ponens(MPP)

2. Modus Tollendo Tollens (MTT)

3. Silogismo Disyuntivo (S.D)

(pÚ q) Ù ~ qÞ p pÚq ó pÚq

(p® q) Ù (q® r) Þ (p® r) p® q

pÙqÞp pÙq ó pÙq

Los circuitos lógicos o redes de conmutación los podemos identificar

También podría gustarte