CEPREVI
Centro
Pre Universitario
de la UNF Villarreal
2022-B
Marcamos la diferencia
LOGICA
La Lógica es una ciencia que estudia
las condiciones de validez de las
inferencias, estableciendo las leyes
y reglas del razonamiento correcto…
Razonamientos válidos elementales
Métodos de derivación formal:
donde se halla la conclusión en
base a premisas :
Principios Lógicos
tradicionales
Implicaciones
Notables
Equivalencias
Notables
Principios Lógicos:
Identidad p→ p
(Parménides) «Si hace frío ,
No contradicción entonces, hace frío»
(Platón) ~(p. ~p)
Tercio excluido
p v ~p
(Aristóteles)
I. IMPLICACIONES NOTABLES
Las implicaciones notables son
estructuras lógicas que se han
comprobado como válidas, es
decir que siempre son
coherentes y permiten
reconocer si un razonamiento
es válido o no.
1. Modus Ponendo Ponens
Modos de afirmar el consecuente
Premisa 1:
Una condicional. p → q
Premisa 2:
Afirma su antecedente. p
Conclusión: -----------
Se cumple el consecuente .: q
P1: Si llueve, hace frío.
P2: Llueve.
C: Por tanto,… hace frío
2. Modus Tollendo Tollens
Modos de negar el
antecedente
p→q
Premisa 1:
~q
_____
Una condicional. .
Premisa 2: Negar su . . ~p
consecuente.
Conclusión: Negamos el
antecedente.
P1:Si comes mucho,
entonces engordarás.
P2:No engordas.
C: No comes mucho.
3. Silogismo disyuntivo
Premisa 1: Una pvq pvq
~p ~q
disyunción :. q p
Premisa 2:
Se niega una Ríes o lloras.
de las alternativas. No estás riendo.
Conclusión: Se Por tanto, lloras.
Viajo a Tumbes o Ica
afirma la otra.
No viajo a Ica.
Por tanto, viajo a Tumbes.
4. Doble negación
Premisa 1: Se niega dos ~~ p
veces una misma :. p
proposición.
Conclusión: Se afirma
dicha proposición. Es falso que no soy japonés
Luego, soy
japonés.
5. Silogismo Hipotético Puro
Premisa 1:
Una p→q
condicional.
q→r
Premisa 2: p→r
Otra
condicional,
donde su Si vas a la fiesta, te divertirás.
antecedente
es el consecuente de la
Si te diviertes, llegas tarde a casa.
primera.
Conclusión:
Un Luego, si vas a la fiesta, llegas
tercer condicional, tarde a casa.
conformado por el
antecedente de la primera
y el consecuente de la
segunda .
6. Simplificación
Premisa 1: Se
da una conjunción. p ^ q p^q
:. p :. q
Conclusión:
Puedo concluir en Estudio Psicología y
cualquiera de sus
componentes. Lógica.
Por tanto, estudio
Psicología
7. Dilema constructivo compuesto
Premisa 1: p q
Una condicional r s
Premisa 2: p v r
Otra :. q v s
condicional
Premisa 3:
Disyunción de Si estudias, entonces serás
antecedentes universitario.
Conclusión: Disyunción de Si eres juerguero, entonces
los consecuentes de ambas serás un vagabundo.
condicionales. Pero, estudias o eres juerguero.
Por tanto, serás universitario o
vagabundo.
8.Dilema Destructivo Compuesto
p q
r s
~q V ~s
~p V ~r
9. Adición
Premisa 1: p
Se da una :. p v q
premisa.
Conclusión: Iván es youtuber
La disyunción de Por lo tanto, Iván
la premisa, más es youtuber o novelista
otra proposición. de ciencia ficción
II. EQUIVALENCIAS NOTABLES
Fórmulas equivalentes son aquellas que
enlazadas por una bicondicional en una
tabla de verdad, ésta arroja en su matriz,
únicamente valores verdaderos. Pueden
suplirse mutuamente.
También se usan para reducir fórmulas
complejas a otras más simples de
conjunciones o disyunciones. Su
aplicación en la cibernética es de gran
importancia, tales como los circuitos
eléctricos…
1. Conmutación (CONM)
p^q≡q^p
p v q ≡q v p
p ↔q ≡ q ↔p
2. Idempotencia (IDEMP)
p^p^p ≡p
pvpvp≡p
3. Absorción (ABS)
pv(p^q)≡p
p^(pvq)≡p
4. Teorema de Morgan
(D.M.)
~( p ^ q ) ≡ (~p v ~q)
~( p v q ) ≡( ~p ^ ~q)
5. Definición de implicación
material (IMP).Esquemas
p→q≡~pvq
p → q ≡ ~ (p ^ ~ q)
p → q ≡ ~ q → ~ p transposición
¡BUENA
BROTHER!
