UNIVERSIDAD DE LAS FUERZAS ARMADAS “ESPE”

NOMBRE: ALDÁS CUASCOTA ELIANA MARGARITA

LEYES DE ALGEBRA PROPOSICIONAL

LEYES DE TERCERO EXCLUIDO

1. proposición o negación de esta siempre va a ser verdadera)

2. (Proposición p y negación de p va a ser falsa)

LEY DE INVOLUCIÓN O DOBLE NEGACIÓN
Una proposición doblemente negada su equivalencia va a ser la proposición

LEYES DE IMPOTENCIA
1. PROPOSICION P O PROPOSICION P VA A SER IGUAL A LA PROPOSICION
2. Proposición p y proposición que va a ser igual a la proposición

LEYES CONMUNTATIVAS

Proposición o una proposicion q su equivalencia cambio de orden de las dos

proposiciones
P y q va a ser igual a q y p.

LEYES ASOCIATIVAS

1. Tener una proposición con los mismos operadores lógicos la podemos asociar
también la segunda con la tercera
2. Proposición q y r asociar la primera con la segunda y la segunda con la tercera

LEYES DISTRIVUTIVAS

1. Proposición P Y Q O R PODEMOS DISTRIBUIR LOS VALORES SIN CONTAR

QUE LOS CONECTORES LOGICOS DEBEN SER DIFERENTES

LEYES DE MORGAN

1. Proposición no p y q su equivalencia va s ser no p y no q (se va a negar y

cambiar el conector lógico

2. P y Q negada puede negar dos veces (nuevamente)

LEY CONDICIONAL
1. P entonces q va a ser equivalencia a p o q

2.
LEY DE BINCONDICIONAL
1. P si y solo si q (la primera proposición condiciona a la segunda y la segunda a
la primera)

LEYES DE ABSORCIÓN
Absorción total:

Absorción Parcial:

1. Modus Ponens (MP) Si P implica Q, y P es verdadera, entonces Q es cierta.

Forma lógica:
1. P → Q
2. P
3. Q
2. Modus Tollens (MT) Si P implica Q, y Q no es cierta, entonces P no es
cierta.Forma lógica:
1. P → Q
2. ¬Q
3. ¬P
3. Silogismo Hipotético (SH) Si P implica Q, y Q implica R, entonces P implica R.Forma
lógica:
1. P → Q
2. Q → R
3. P → R
La regla de silogismo hipotético nos permite establecer que la verdad

4. Silogismo Disyuntivo (SD)

Ya sea que P es cierta o Q es cierta; P no es cierta; por lo tanto, Q es cierta. De la misma
manera, si P es cierta o Q es cierta; Q no es cierta; por lo tanto, P es cierta.

Forma lógica:
1. P v Q
2. ¬P
3. Q
1. P v Q
2. ¬Q
3. P
6. Dilema Destructivo (DD) Si P implica Q, y R implica S, y, o bien Q es falsa o S es
falsa; entonces o P es falsa o R es falsa. Forma lógica:
1. (P → Q) ^ (R → S)
2. ¬Q v ¬S
3. ¬P v ¬ R
7. Conjunción (Conj.) Si P es cierta y Q es cierta, entonces la conjunción “P y Q”
también es cierta. Forma lógica:
1. P
2. Q
3. P ^ Q

8. Simplificación (Simp.) Si la conjunción de P y Q es cierta, entonces P es cierta y Q

es cierta. Forma lógica:
1. P ^ Q
2. P
1. P ^ Q
2. Q
9. Absorción (Ab.) Si P implica Q, entonces P implica P y Q.Forma lógica:
1. P → Q
2. P → (P ^ Q)

Por medio de esta regla P es “absorbida” por el término Q en la consecuencia.

10. Adición (Ad) Si P es verdadera, entonces su conjunción con cualquier otro

enunciado también será cierta.Forma lógica:
1. P
2. P v Q

CUANTIFCADORES
Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo
de elementos de un conjunto dado cumplen con cierta propiedad (por
ejemplo, pertenencia, equivalencia u orden)

CUANTIFICADOR UNIVERSAL
Las palabras todo, cada uno, todos y ninguno se denominan cuantificadores
universales.
Para todo x perteneciente a A, se cumple P(x).

Esta afirmación suele usarse como la equivalente de la proposición siguiente:

A={x∈U:P(x)}

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

CUANTIFICADORES EXISTENCIALES
Las palabras hay y al menos uno se conocen como cuantificadores existenciales.
Existe x en A que cumple P(x).

Esta proposición suele interpretarse como la equivalente de la proposición siguiente:

{x∈A:P(x)}≠∅

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto vacío.