Lógica
´ ´ Introduccion a la Matematica Universitaria. 520145 ´ Cap´tulo 1. Logica y Conjuntos. ı
FCFM. UdeC.
1.
ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
Conceptos primitivos Los valores de verdad VERDADERO (V ) y FALSO (F ) son los ´ conceptos primitivos de la logica.
´ Proposicion ´ Una proposicion es unasentencia declarativa (que afirma o niega algo de algun sujeto) que posee un unico valor de verdad, pudiendo ´ ´ ser verdadera (V) o bien ser falsa (F). Usualmente se denotan por letras minusculas p, q , r , s, etc. ´
FCFM. UdeC. 2. ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
´ Conectivos logicos ´ Un conectivo logico es un operador que nos permite obtener nuevas proposiciones a partir de otrasdadas. Los conectivos ´ basicos son: ´ • negacion (∼) (“no”) (“y”) (“o”) (“si. . . , entonces”) ´ (“si y solo si”)
3. ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ • conjuncion (∧) ´ • disyuncion (∨)
• condicional • bicondicional
FCFM. UdeC.
(→)
(↔)
´ Logica
Tipos de proposiciones Las proposiciones se clasifican en simples y compuestas, vale ´ decir, las que no incluyen conectivos logicos, y lasque s´ los ı incluyen. Valores posibles de dos proposiciones dadas
p V V F F
FCFM. UdeC. 4.
q V F V F
ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
´ Negacion (∼) ´ ´ Dada una proposicion p, se llama negacion de p, y se escribe ´ ∼ p, a la proposicion “no p”. Esto significa que ∼ p es V si p es F , y ∼ p es F si p es V . TABLA DE VERDAD
p V F
∼p F V
FCFM. UdeC.
5.ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
´ Conjuncion (∧) ´ Dadas dos proposiciones p y q , la conjuncion de ellas es la ´ ı proposicion “p y q ”, la cual se escribe p ∧ q . As´, p ∧ q es V si ambas lo son, y p ∧ q es F si al menos una de ellas lo es. TABLA DE VERDAD.
p V V F F
FCFM. UdeC. 6.
q V F V F
p∧q V F F F
ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
´ Disyuncion (∨) ´ Dadas dosproposiciones p y q , la disyuncion de ellas es la ´ ı proposicion “p o q ”, la cual se escribe p ∨ q . As´, p ∨ q es V si al menos una de ellas lo es, y p ∨ q es F si ambas lo son. TABLA DE VERDAD
p V V F F
FCFM. UdeC. 7.
q V F V F
p∨q V V V F
ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
Condicional (→) Dadas dos proposiciones p y q , la condicional de ellas es la ´ proposicion “si pentonces q ”, la cual se escribe p
→ q . Aqu´, p se ı ´ llama antecedente y q consecuente. Tambien, p → q se lee “p es ´ ´ condicion suficiente para q ”, o bien “q es condicion necesaria para ´ p”. As´, p → q es F solo si p es V y q es F . ı
FCFM. UdeC.
8.
ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
Condicional (→) TABLA DE VERDAD
p V V F F
q V F V F
p→q V F V V
p V V F Fq V F V F
p↔q V F F V
FCFM. UdeC.
9.
ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
Bicondicional (↔) Dadas dos proposiciones p y q , la bicondicional de ellas es la ´ ↔ q . Tambien, ´ p ↔ q se lee “p es condicion necesaria y suficiente para q ”. As´, ı ´ p ↔ q es V solo si ambas proposiciones tienen el mismo valor de verdad. ´ ´ proposicion “p s´ y solo s´ q ”, la cual se escribe p ı ıFCFM. UdeC.
10 .
ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
Definiciones varias ´ Una proposicion compuesta se dice una:
• TAUTOLOGIA (o TEOREMA LOGICO), si ella es siempre V ,
cualesquiera sean los valores de verdad de las proposiciones ´ simples que la componen, es decir, si su tabla de verdad solo contiene valores V .
• CONTRADICCION, si ella es siempre F .
´ • CONTINGENCIA,si no es tautolog´a ni contradiccion. ı
FCFM. UdeC. 11 . ACQ/MWC/FLG/AB/LNB/GAC/MSS/ESF.
´ Logica
´ ´ Implicacion logica Dadas dos proposiciones p y q , se dice que p implica
→ q es una tautolog´a. En tal ı caso se escribe p ⇒ q y se lee “p implica q ”.
´ Equivalencia logica ´ Dadas dos proposiciones p y q , se dice que ellas son logicamente
´ ´ logicamente q , si la proposicion p...
Regístrate para leer el documento completo.