LGICA

Docente: Miguel Valverde Morales

miguel.valverde@upnorte.edu.pe

PARADOJA
Epimnides, el cretense, se hizo famoso en la antigedad por pasearse por las calles de Atenas afirmando que: Todos los cretenses mienten El episodio no parece lo suficientemente significativo a no ser que deparemos un poco ms en la afirmacin de Epimnides: - Si es verdad lo que afirmaba Epimnides, que todos los cretenses mienten, entonces su afirmacin es falsa. Pues al menos Epimnides, que era cretense, deca la verdad. - Y si es falso, entonces es verdad que todos los cretenses, incluso Epimnides, mienten

 Qu podemos decir del valor de verdad de las proposiciones ?

El tribunal constitucional es un organismo encargado de defender a la constitucin Los magistrados del tribunal estn sometidos a mandato imperativo
Y en este caso que podemos decir?

El tribunal constitucional es un organismo encargado de defender a la constitucin, no obstante los magistrados del tribunal estn sometidos a mandato imperativo; salvo que sea falso que no esten sometidos a mandato imperativo

Facultad de Derecho y Ciencias polticas

Objetivos:
1. Utilizar las definiciones de las reglas de los conectores lgicos. 2. Compara los esquemas tautolgicos, contingentes y contradictorios. 3. Examina esquemas moleculares mediante tablas de verdad.

Lgica - Miguel Valverde

Fecha

Facultad de Derecho y Ciencias polticas

Valores de verdad para proposiciones simples

Una PROPOSICIN SIMPLE slo puede tener uno de dos valores: VERDADERO FALSO
Ejemplo: p: Mauricio juega en el patio q: Pedro estudia en la biblioteca q p V F
Lgica - Miguel Valverde

V F
Fecha

Facultad de Derecho y Ciencias polticas

Valores de verdad para proposiciones compuestas

Una PROPOSICIN COMPUESTA slo puede tener uno de dos valores: VERDADERO FALSO. El valor total de la proposicin depender del valor independiente de las proposiciones simples que la compongan; y del operador lgico u operadores lgicos que las relacionen.

(pq)
Lgica - Miguel Valverde

[r q (p s)]
Fecha

Facultad de Derecho y Ciencias polticas

Cuntas combinaciones hay?

La cantidad de posibles combinaciones entre los valores que puedan tomar las proposiciones simples contenidas en la proposicin compuesta se puede calcular de la manera siguiente:

Nmero de combinaciones = 2n

Lgica - Miguel Valverde

Fecha

Facultad de Derecho y Ciencias polticas

Valor de Verdad con el operador: NEGADOR

Ejemplo:

p
V F

p
p: Juan estudia matemtica

F V

p: Juan NO estudia matemtica

Lgica - Miguel Valverde

Fecha

Facultad de Derecho y Ciencias polticas

Valor de Verdad con el operador: CONJUNTOR

p q
V V F F V F V F

Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Juan estudia matemtica y Juan recibe un premio.

V Combinaciones de Verdadero F y Falso F F

N de Combinaciones = 2n = 22
Lgica - Miguel Valverde Fecha

Facultad de Derecho y Ciencias polticas

Valor de Verdad con el operador: DISYUNTOR DBIL

p q
V V F F

p
V V V F

Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Juan estudia matemtica o Juan recibe un premio.

V F V F

Lgica - Miguel Valverde

Fecha

Facultad de Derecho y Ciencias polticas

Valor de Verdad con el operador: DISYUNTOR FUERTE

p q
V V F F V F V F

pq
F V V F

Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio

Proposicin: O Juan estudia matemtica o Juan recibe un premio.

Lgica - Miguel Valverde

Fecha

Facultad de Derecho y Ciencias polticas

Valor de Verdad con el operador: IMPLICADOR

p q
V V F F V F V F

pq
V F V V

Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Si Juan estudia matemtica entonces Juan recibe un premio.

Lgica - Miguel Valverde

Fecha

Facultad de Derecho y Ciencias polticas

Valor de Verdad con el operador: REPLICADOR

p q
V V F F V F V F

pq
V V F V

Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Juan estudia matemtica si Juan recibe un premio.

Lgica - Miguel Valverde

Fecha

Facultad de Derecho y Ciencias polticas

Valor de Verdad con el operador: BIIMPLICADOR

p q
V V F F V F V F

pq
V F F V

Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Si y slo si Juan estudia matemtica entonces Juan recibe un premio.

Lgica - Miguel Valverde

Fecha

Facultad de Derecho y Ciencias polticas

Esquema Molecular
Son frmulas proposicionales compuestas de variables, operadores lgicos y signos de agrupacin (en algunos casos) que se pueden clasificar en:
Negativo Conjuntivo Disyuntivo dbil Disyuntivo fuerte Implicativo Replicativo Biimplicativo
Lgica - Miguel Valverde

Por su Matriz Principal

Tautolgico Contingente Contradictorio

Fecha

Facultad de Derecho y Ciencias polticas

TABLA DE VERDAD (EJEMPLO)

El TC es un organismo encargado de defender a la constitucin, no obstante los magistrados del TC estn sometidos a mandato imperativo; salvo que sea falso que no estn sometidos a mandato imperativo
p: El TC es un organismo encargado de defender a la constitucin q: Los magistrados del TC estn sometidos a mandato imperativo

p q ( p
V V F F

q )
V F F F V F V F V F V F

q
V F V F Esquema Molecular Contingente

V F V F

V V F F

Facultad de Derecho y Ciencias polticas

Ejemplo
p q

[( p q )

( q r )] ( p r )

V V V V V V V V V n V V3 V V V N de Combinaciones = 2 = 2 V VV F V F F V V F F V V F V F F F F V V V V V V V F V V F F F F V F V V F F V F F F V V V V V V V F V V F V V F VV F V F F V F V F F V F Esquema F V F V F V V V F V V F F V Molecular F V F V F V F V F V F F F F Tautolgico

Lgica - Miguel Valverde Fecha

Facultad de Derecho y Ciencias polticas

Ejemplo
Dado el siguiente esquema: [(A B) Los valores de las variables son: a) FVV b) VVF c) FVF (A C)] Verdadero e) VVV d) VFV

[(A
F V F F = V F=F F=F

B)

(A

C)]

F
V

F
F F

A=F B=V C=V

V
Lgica - Miguel Valverde Fecha