Examen

Apuntes

• Conectores lógicos También llamados operadores, los conectores lógicos son símbolos que representan conexiones lógicas generales y el álgebra de la negación. No deben usarse como números. En lenguaje común, los principales símbolos y sus nombres son: - No es cierto (¬): Negación - Si entonces (→): Condicional - Si y solo si (↔): Bicondicional • Proposiciones compuestas La negación (¬) Una proposición p se representa como ¬p, indicando que p es falsa y, por ende, ¬p es verdadera. Ejemplo: p: Andrea viajó a Loja (V) ¬p: Andrea no viajó a Loja (F) La doble negación equivale a afirmar: ¬(¬p) = p La disyunción (∨) Es una proposición compuesta por p y q, relacionadas mediante el conector lógico "o" (p ∨ q). Ejemplo: Gabel de deportes o estético. La condicional (→) Es una proposición en la que p y q, proposiciones simples, se relacionan mediante "si... entonces..." (p → q). Ejemplo: Si llueve, entonces no salgo. La conjunción (∧) Es una proposición formada por p y q, relacionadas mediante "y" (p ∧ q). Ejemplo: Einstein fue físico y Gauss fue matemático. La bicondicional (↔) Es una proposición compuesta por p y q, relacionadas mediante "si y solo si" (p ↔ q). Ejemp...