1. Proposiciones
T.S.U DARIO E.
YSAACURA
CI:17782690

2. 1.- Definición de Proposición:
Es una expresión que puede ser calificada como
“verdadera” o “falsa”, no ambas a la vez.
2.- Identificar los conectivos lógicos de
una proposición.
Los conectivos lógicos pueden ser: de negación,
conjunción, disyunción, condicional,
bicondicional, disyunción exclusiva.

3.  3.- Identificar las distintas formas
proposicionales .
 Hay dos tipos de proposiciones, atómicas que están
formadas por una sola proposición, y las
moleculares formadas por varias proposiciones
unidas por conectivos lógicos. Además hay tres
tipos de enunciados, a saber: interrogativos, en
forma de preguntas; declarativos que expresan
pensamientos y pueden ser verdaderos o falsos, e
imperativos que expresan una orden.

4.  4.-Conocer las leyes del Álgebra
proposicional .
 1. Leyes Idempotentes
 1.1. p v p = p
1.2. p / p = p
 2. Leyes Asociativas
 2.1. (P v q) v r = p v (q v r)
2.2. (P / q) / r = p / (q / r)

5.  3. Leyes Conmutativas
 3.1. P v q = q v p
3.2. P / q = q / p
 4. Leyes Distributivas
 4.1. P v ( q / r ) = ( p v q ) / (p v r)
4.2. P / ( q v r ) = ( p / q ) v (p / r)
 5. Leyes de Identidad
 5.1. P v F = P
5.2. P / F = F
5.3. P v V = V
5.4. P / V = P

6.  6. Leyes de Complementación
 6.1. P v ~ 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 v q ) = ~ P / ~ q
7.2. ~ ( P / q ) = ~ P v ~ q

7.  Otras Equivalencias Notables
 a. p q = ~ p v q (Ley del condicional)
 b. p< >q =(p q) / (q p) (Ley del bicondicional)
 c. p v q = ( p / ~ q ) v ( q / ~ p ) (Ley de
disyunción exclusiva)
 d. p q = ~ q ~ p (Ley del contrarrecíproco)
 e. p / q = ~ ( ~ p v ~ q )
 f. ( (p v q ) r ) = ( p r ) / (q r ) (Ley de
demostración por casos)
 g. (p q) = (p / ~ q F) (Ley de reducción al
absurdo)

8.  5._ Aplicar algunos métodos de
demostración en matemáticas e
ingeniería.
 Los métodos son: demostración directa,
demostración indirecta dentro del cual esta el
Método del Contrarrecíproco y
Demostración por Reducción al Absurdo.

9.  Ejemplo: Si el cubo es un poliedro entonces es
un cuerpo sólido.
 El cubo es un poliedro.
 Por modus ponendo ponens (MPP), hacemos
P=el cubo es un poliedro, Q=es un cuerpo solido.
P q
p
----------
q
 se concluye que el cubo es un poliedro

10.  6.- Construir una red de circuitos lógicos de una
forma proposicional.
 ¬P/(Pv(Q/¬R))
 ______P______
 _¬P__ ____

 __Q __¬R__

11. (p / q) v [( p / r) v ~ s)]

12. (p v q) / (~ p v q) / (~ p v ~ q)

13.  Es un servicio que permite subir y dejar
disponibles en la red presentaciones en
PowerPoint, OpenOffice y PDF, es una
herramienta muy útil para distribuir información,
en el caso de los docentes publicar el materia de
las clases y en el de los alumnos sus
investigaciones y compartir el material con otros
compañeros, para ello, debemos tener una cuenta
de correo, que es necesario para registrarnos en
slideShare.net