Você está na página 1de 8

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.

Você também pode gostar