Académique Documents
Professionnel Documents
Culture Documents
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
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
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.
Fecha
V F
Fecha
(pq)
Lgica - Miguel Valverde
[r q (p s)]
Fecha
Nmero de combinaciones = 2n
Fecha
p
V F
p
p: Juan estudia matemtica
F V
Fecha
Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Juan estudia matemtica y Juan recibe un premio.
N de Combinaciones = 2n = 22
Lgica - Miguel Valverde Fecha
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
Fecha
pq
F V V F
Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio
Fecha
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.
Fecha
pq
V V F V
Ejemplo:
p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Juan estudia matemtica si Juan recibe un premio.
Fecha
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.
Fecha
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
Fecha
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
Ejemplo
p q
[( p q )
( q r )] ( p r )
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
V
Lgica - Miguel Valverde Fecha