12.07.2015 Views

Notas para el Curso de Lógica y Conjuntos - Universidad del Cauca

Notas para el Curso de Lógica y Conjuntos - Universidad del Cauca

Notas para el Curso de Lógica y Conjuntos - Universidad del Cauca

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Para mostrar que la proposición (p ! q) ! (s p _ q) es una tautología, supongamos locontrario, que existe una asignación <strong>de</strong> valores que la hace falsa.En este caso, <strong>de</strong> acuerdo a las reglas <strong>de</strong> asignación expuestas antes, tenemos que, p ! q<strong>de</strong>be ser verda<strong>de</strong>ra y s p _ q <strong>de</strong>be ser falsa. Pero s p _ q es falsa sólo si s p es falsa y qfalsa, es <strong>de</strong>cir, si p es verda<strong>de</strong>ra y q falsa. Esto signi…ca que p ! q <strong>de</strong>be ser falsa; lo cual nopue<strong>de</strong> ser, pues p ! q no pue<strong>de</strong> ser verda<strong>de</strong>ra y falsa a la vez 5 . Nos encontramos con unaimposibilidad (un absurdo) que surge <strong>de</strong> suponer que la proposición en cuestión no es unatautología. Así que (p ! q) ! (s p _ q) no pue<strong>de</strong> ser, en ningún caso, falsa. Esto signi…caque es siempre verda<strong>de</strong>ra, y por tanto es una tautología.La fórmula es consecuencia lógica d<strong>el</strong> conjunto <strong>de</strong> fórmulas 1 , 2 , ..., n , si ( 1 ^ 2 ^ ::: ^ n ) ! es una tautología.Por ejemplo, la proposición q es consecuencia lógica <strong>de</strong> las proposiciones p y p ! q(compruéb<strong>el</strong>o).2.6. ContradicciónCuando una proposición es falsa <strong>para</strong> cualquier asignación <strong>de</strong> sus letras porposicionales,<strong>de</strong>cimos que es una contradicción o falacia.Ejemplo1. La proposición p ^ s p es una contradicción.p s p p ^ s pV F FF V F2. Es inmediato ver que si una proposición es una tautología, entonces su negación s es una contradición (y viceversa).2.7. Razonamiento e InferenciaUn razonamiento o argumento es una ca<strong>de</strong>na <strong>de</strong> proposiciones 1 ; 2 ; :::; n , . Es usual lanotación 1 2. nLas proposiciones 1 ; 2 ; :::; n se llaman premisas y la proposición se llama conclusión.Si es consecuencia lógica <strong>de</strong> 1 ; 2 ; :::; n <strong>de</strong>cimos que <strong>el</strong> razonamiento es válido. En casocontrario se dice que <strong>el</strong> razonamiento no es válido.vez.5 Recuer<strong>de</strong> que por <strong>el</strong> principio <strong>de</strong> no contradicción, una proposición no pue<strong>de</strong> ser verda<strong>de</strong>ra y falsa a la24

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!