You are on page 1of 12

Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica

Programa Analítico de Algebra y Geometría Analítica Unidad 1: Nociones de Lógica Proposicional Lógica Proposicional. Proposiciones. Principio de la lógica. Conectivos. Operaciones proposicionales. Tablas de verdad. Proposiciones equivalentes. Negación, conjunción, disyunción, implicación, doble implicación, diferencia simétrica. Fórmulas Proposicionales. Circuitos lógicos. Tautologías. Contradicciones. Contingencias. Métodos de demostración. Unidad 2: Elementos de Teoría de Conjuntos. Conjuntos numéricos. Breve revisión de la Teoría de Conjuntos. Cardinal. Operaciones. Propiedades. Diagramas de Venn. Principio de inclusión y exclusión. Conjuntos numéricos. Los números Reales. Intervalos reales. Valor Absoluto de un real. Los números naturales, enteros, racionales, irracionales. Los números complejos. Forma de par ordenado, binómico, trigonométrica y exponencial de un complejo. Complejos conjugados. Módulo de un complejo. Formas. Operaciones. Unidad 3: Análisis Combinatorio. Combinatoria. Definición. Principios Generales de la Multiplicación y de la suma. Factorial de un entero no negativo. Permutaciones, arreglos. Combinaciones simples y con elementos repetidos. Número combinatorio. Propiedades. Fórmula del Binomio de Newton. Unidad 4: Relaciones y Funciones. Par ordenado. Producto cartesiano. Relaciones. Definición. Composición. Relación inversa. Funciones. Definición. Clasificación. Composición. Función inversa. Ecuaciones. Unidad 5: Polinomios a una indeterminada. Funciones y Ecuaciones polinómicas. Polinomios. Definición. Operaciones con polinomios. Especialización. Funciones polinómicas. Análisis. Gráficas. Ecuaciones polinómicas particulares. Raíces. Enunciado del Teorema Fundamental del Algebra. Teorema de Gauss. Teorema fundamental de la descomposición factorial. Raíces múltiples. Raíces complejas de polinomios reales. Consecuencia. Relaciones entre coeficientes y raíces. Solución monográfica de sistemas. Unidad 6: Funciones y Ecuaciones no Polinómicas. Funciones particulares, valor absoluto, signo, parte entera. Funciones escalonadas. Funciones y ecuaciones irracionales. Funciones y ecuaciones exponenciales. Funciones y ecuaciones logarítmicas. Funciones y ecuaciones trigonométricas. Unidad 7: Nociones de Algebra Lineal. Espacio vectorial. Definición. Propiedades. Vectores en Rn. Igualdad y norma en Rn. Combinaciones lineales de vectores. Dependencia e independencia lineal. Base de un espacio vectorial. Versores. Bases canónicas. Coordenadas. Dimensión. Álgebra vectorial. Producto escalar. Producto vectorial. Producto mixto. Ángulos y cosenos directores en R2 y R3. Vertores paralelos en R2 y R3. Unidad 8: Nociones de Geometría Analítica. Sistemas de coordenadas en el plano R2. La recta en el plano y la ecuación general de primer grado a dos variables. Fórmulas implícitas y explícitas. Pendiente y ordenada al origen. Condiciones de paralelismo y perpendicularidad. Ecuación de la recta dados dos puntos. Distancia entre dos puntos. Ángulo de dos rectas. Cónicas y la ecuación general de segundo grado a dos variables. Circunferencia, Elipse, Hipérbola y parábola. Sistema de coordenadas en el espacio R3. Ecuación de la recta en el espacio R3. Ecuación del plano en R3. Superficies cilíndricas, circulares, parabólicas e hiperbólicas. Superficies cuadráticas, esféricas, elipsoides, hiperboloides y paraboloides. Unidad 9: Matrices y determinantes. Las matrices como conjuntos ordenados de los vectores Rn. Suma de matrices, producto por un escalar. El espacio vectorial de las matrices Rmxn. Rango de una matriz. Matrices equivalentes. Forma escalonada. Matriz transpuesta. Matrices cuadradas particulares. Producto escalar de un vector fila por un vector columna. Producto de matrices. Álgebra de matrices cuadradas. Determinante de una matriz cuadrada por el desarrollo de los elementos de la primera columna. Adjunto y menor complementario. Propiedades. Métodos de cálculo. Matriz Adjunta. Matrices inversibles. Cálculo de la inversa por operaciones de filas y por la adjunta.

Ingeniería en Electrónica

1

“p o q” (en sentido incluyente). A partir de proposiciones simples es posible generar otras simples o compuestas. Conectivo ~− ¬ ∧ • ∨ ⇒ ⟺ ∨ △ Operación asociada Negación Conjunción o producto lógico Disyunción incluyente o suma lógica Implicación o condición Doble implicación o bicondicional Diferencia simétrica o disyunción excluyente Significado “No p”. “p pero q”. en el campo conocido como filosofía de la ciencia. 1910-1913). y la verdad de la conclusión se deriva de la verdad de las premisas. También se han hecho esfuerzos para desarrollar métodos de lógica inductiva como las que sostienen que las premisas conllevan una evidencia para la conclusión. La contribución más importante a la lógica inductiva fue la aportada por el filósofo británico John Stuart Mill. “no es cierto que p”. En cierto sentido. llamados conectivos lógicos. entonces q”. Cuenta con símbolos diferentes para el sujeto lógico y el predicado lógico de una frase.”logos”. Tanto la lógica moderna como la clásica asumen en sus formas más corrientes que cualquier proposición bien elaborada puede ser o verdadera o falsa. “si p. hoy conocido como lógica simbólica (o moderna). etc. etc.. También se han llevado a cabo serios trabajos para desarrollar sistemas de lógica modal. Introduce símbolos para frases enteras y para las conjunciones que las unen. para los miembros de las clases y para las relaciones de la pertenencia a una clase y la inclusión en una clase. “y”. el cual puede ser verdadero (V) o bien falso (F). Lógica Proposicional La lógica (del griego. 'proposición'. “p y q”. Clasificación de sistemas. Sistemas equivalentes. Otra vía es la que propone la lógica deóntica: la investigación de las relaciones lógicas entre órdenes o entre afirmaciones de obligación. Sistemas. Muy relacionada con ésta se encuentra la rama de las matemáticas llamada teoría de la probabilidad. Y como el significado de una oración.. Conjunto solución. respecto de la cual puede decirse si es verdadera o falsa. “p si y sólo si q” “p o q” (en sentido excluyente). Este estudio ha desembocado. Proposiciones Definición: Proposición es toda oración. de necesidad y contingencia. También se aleja de la lógica clásica en sus suposiciones de la existencia respecto a las cosas aludidas en sus afirmaciones universales. de la verdad de la evidencia. en otros es un valor de probabilidad expresado como una fracción que oscila entre 0 y 1 o entre -1 y +1. Regla de Cramer. con el objeto de representar las relaciones lógicas entre las afirmaciones de posibilidad e imposibilidad. El sistema lógico de Russell y Whitehead cubre un espectro mayor de posibles argumentaciones que las que se pueden encontrar en la lógica silogística. a diferencia de la lógica tradicional. Teorema de Rouché-Frobenius.. etc. está asociada a un valor de verdad. Es decir. Operaciones proposicionales Negación Ingeniería en Electrónica 2 . según su interpretación. pero la verdad de la conclusión se deduce. Expresión matricial. iban a caracterizar la ciencia empírica. los matemáticos británicos George Boole y Augustus De Morgan abrieron un nuevo campo a la lógica. quien en Sistema de Lógica (1843) estructuró los métodos de prueba que. entonces es B”. lo que. Sistemas homogéneos.. Sistemas cuadrados. la Lógica Proposicional analiza los tipos de razonamientos utilizando modelos matemáticos con la ayuda de proposiciones lógicas. las premisas de una proposición válida contienen la conclusión. Ecuaciones e inecuaciones lineales. “p y/o q”. Conectivos Las proposiciones genéricas (simples) son denotadas con las letras p. “si. etc. Teorema de Cramer. El primer manual de lógica formal publicado en español fue la obra de Juan David García Bacca titulada Introducción a la lógica moderna (1936). q. etc. En años recientes se han desarrollado sistemas de la denominada lógica combinatoria: una afirmación puede tener un valor distinto a verdadero o falso. y según sean tales operaciones se utilizan ciertos símbolos. En algunos supuestos es sólo un tercer valor neutro..”. “p implica q“. Resolución por operaciones sobre las ecuaciones. Las proposiciones lógicas pueden ser simples o compuestas. en este sentido. entonces. como “o”. en el siglo XX. La afirmación “Todo A es B” significa en lógica moderna que “Si algo es A. etc. 'razón') es la ciencia que estudia los procedimientos para distinguir si un razonamiento es correcto o incorrecto. Introducción A mediados del siglo XIX. se puede decir de diferentes maneras tendríamos que definir así: Proposición es el significado de toda oración declarativa y esta. “p sin embargo q”. que más tarde fue desarrollada por el matemático alemán Gottlob Frege y de un modo especial por los matemáticos británicos Bertrand Russell y Alfred North Whitehead en Principia Mathematica (3 vols. 'palabra'. se puede operar con proposiciones. r. sólo con un margen relativo de probabilidad. y adjudica símbolos para distinguir las clases. Conecuencias. “o p o q”. Tanto la rama clásica como la moderna implican métodos de lógica deductiva. no significa que todo A existe.Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica Unidad 10: Sistemas de Ecuaciones e Inecuaciones Lineales.

La implicación sólo es falsa cuando el antecedente es V y el consecuente es F. cuya tabla de valores de verdad es la siguiente y que establece que la conjunción sólo es verdadera si lo son las dos proposiciones componentes. La disyunción sólo es F en el caso en que las dos proposiciones componentes sean falsas. pues a partir de una proposición se obtiene otra. La doble implicación puede definirse como la conjunción de una implicación y su recíproca. puede obtenerse radiante la tabla de (p ⇒ q) ∧ (q ⇒ p) como se ve en la tabla de verdad: Ingeniería en Electrónica 3 . La ambigüedad se elimina con la elección del símbolo adecuado. respectivamente. Las tablas de valores de verdad es: Tabla de verdad de la implicación p V V F F q V F V F p⇒q V F V V Doble implicación o bicondicional Definición: Doble implicación de las proposiciones p y q es la proposición p ⇔ q (p si y sólo si q). de la implicación o condicional. que es su negación. La tabla de valores de verdad de p ⇔ q. Tabla de verdad de la disyunción p V V F F q V F V F p∨q V V V F Implicación o condicional Definición: Implicación de las proposiciones p y q es la proposición p ⇒ q (p implica q. ésta es utilizada en sentido incluyente. La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el mismo valor de verdad. Las proposiciones p y q se llaman antecedente y consecuente. En matemática se utiliza la disyunción definida por la tabla siguiente la cual agota toda posibilidad. Su tabla de verdad es: Tabla de verdad de la negación p V F ~p F V Conjunción Definición: Conjunción de las proposiciones p y q es la proposición p ∧ q (p y q). ya que la verdad de la disyunción se da en el caso de que al menos una de las proposiciones sea V. De este modo. La implicación usual en matemáticas es formal en el sentido de que no es necesario que el consecuente se derive lógicamente de antecedente. la implicación se llama material y queda incluida en la primera. En el lenguaje ordinario la palabra o es utilizada en sentido excluyente o incluyente. Se trata de una operación unitaria.Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica Definición: Negación de la proposición p es la proposición ~p (no p). si p entonces q). Tabla de verdad de la conjunción p V V F F q V F V F p∧q V F F F Disyunción Definición: Disyunción de las proposiciones p y q es la proposición p ∨ q (p o q). En todo otro caso es falsa. cuando esto ocurre.

La tabla de valores de verdad es: Tabla de verdad de la diferencia simétrica p V V F F q V F V F p∨ q F V V F Tipos de proposiciones Tautología Definición: En una proposición cuyos valores de verdad del operador principal son todos verdaderos. si q es V. Se dice entonces que el antecedente p es condición suficiente para el consecuente q. nada podemos decir de q. puesto que puede ser V o F. cualquiera que sea el valor de verdad de sus componentes. si p es F. Por otra parte. Es obvio que nos referimos al primer renglón de la tabla. y entre ellos hay uno en que p es V. y se tiene que si p ⇒ q es V y p es V. Contingencia No es ni tautología ni contradicción porque los valores de verdad de su operador principal tienen por lo menos una verdad y/o una falsedad. en el cual resulta q verdadera. entonces q es V. cuando p ⇒ q es V. Es claro que p ∨ q equivale a la negación de p ⇔ q. Resumiendo. Se dice entonces que q es condición necesaria para p. Condiciones necesarias y suficientes Consideramos la tabla de valores de verdad de la implicación. Contradicción Definición: Es una proposición cuyos valores de verdad del operador principal son todos falsos. entonces p es condición suficiente para q y q es condición necesaria para p. en sentido excluyente). Estas condiciones suelen expresarse así: q si p (condición suficiente) p sólo si q (condición necesaria) Leyes lógicas Consideremos la proposición ( p ⇒ q ) ∧ p  ⇒ q   Cuya tabla de valores es: Tabla de verdad Ingeniería en Electrónica 4 . cualquiera sea el valor de verdad de sus componentes. En cambio.Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica Tabla de valores de verdad de la dobleimplicación o bicondicional p V V F F q V F V F p⇔q V F F V p⇒q V F V V q⇒p V V F V (p⇒q)∧(q⇒p) V F F V Diferencia Simétrica Definición: Diferencia simétrica o disyunción excluyente de las proposiciones p y q es la proposición p ∨ q (p o q. La verdad de p y q está caracterizada por la verdad de una y sólo una de !as proposiciones componentes. entonces p puede ser V o F. mas para que p sea V se necesita que q lo sea. si p ⇒ q es V. Hay tres casos en que p ⇒ q es V.

Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica p V V F F q V F V F p⇒q V F V V ( p ⇒ q) ∧ p V F F F ( p ⇒ q ) ∧ p  ⇒ q   V V V V La anterior proposición compuesta es V. ∧ p ≡ p p ∨ p ∨ p ∨ . ∨ p ≡ p Las variables repetidas redundantemente es una cadena de conjunciones o en una cadena de disyunciones se reemplazan por la sola variable. Del tercio excluido p∨ : q Una proposición o es verdadera o es falsa.. La proposición p ⇒ p es V cualquiera sea el valor de verdad de p. la doble conjunción. independientemente de los valores de verdad de las proposiciones componentes. la doble disyunción o la doble bicondicional se asocian indistintamente. De contradicción : ( p∧ : p ) Una proposición no puede ser verdadera y falsa a la vez.. la conjunción. Se dice que es una contradicción. De la conmutatividad p∧q ≡ q ∧ p p∨q ≡ q∨ p p⇔q ≡q ⇔ p En una proposición.. no hay una tercera opción. En el cálculo proposicional se utilizan las siguientes leyes o tautologías cuya demostración se reduce a la confección de las correspondientes tablas de valores de verdad: De identidad p⇒p p⇔p Una proposición sólo es idéntica consigo misma. (El símbolo ≡ se lee “… es equivalente a …“) De la idempotencia p ∧ p ∧ p ∧ . De la doble negación (Involución) : ( : p) ≡ p La negación de la negación es una afirmación. De la distributividad Ingeniería en Electrónica 5 . De la asociatividad p ∧ ( q ∧ s) ≡ ( p ∧ q) ∧ s p ∨ ( q ∨ s) ≡ ( p ∨ q) ∨ s p ⇔ ( q ⇔ s) ≡ ( p ⇔ q) ⇔ s En una proposición. Es otro ejemplo de una ley lógica. Se dice entonces que tal proposición es una tautología o ley lógica. la disyunción inclusiva y la bicondicional son conmutativas. cualquiera que sea p.. En cambio p ∧ ~p es F.

Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica p ∧ ( q ∨ s) ≡ ( p ∧ q) ∨ ( p ∧ s) p ∨ ( q ∧ s) ≡ ( p ∨ q) ∧ ( p ∨ s) p ⇒ ( q ∧ s) ≡ ( p ⇒ q) ∧ ( p ⇒ s) p ⇒ ( q ∨ s) ≡ ( p ⇒ q) ∨ ( p ⇒ s) En una proposición la conjunción. De De Morgan : ( p ∧ q ) ≡ ( : p∨ : q ) : ( p ∨ q ) ≡ ( : p∧ : q ) En una proposición. ∧ pn-1 ) ⇒ Pn ⇒ s Del modus ponens ( p ⇒ q ) ∧ p  ⇒ q   En una premisa condicional. la disyunción y la implicación son distributivas. entonces se concluye en la afirmación del consecuente. y la negación de una condicional equivale a una conjunción del antecedente con la negación del consecuente... Del Condicional p ⇒ q ≡: p ∨ q : ( p ⇒ q ) ≡ p∧ : q p ⇒ q ≡: ( p∧ : q ) En una proposición. ∧ pn ) ⇒ s ≡ ( p1 ∧ p2 ∧ . sino la conjunción del antecedente con la negación del consecuente. la negación de una implicación no es una implicación. si se afirma el antecedente. Ingeniería en Electrónica 6 . Es decir. la condicional equivale a la disyunción de la negación del antecedente con el consecuente. Del bicondicional p ⇔ q ≡ ( p ⇒ q ) ∧ ( q ⇒ p) : ( p ⇔ q) ≡ p ∨ q De la absorción p ∧ ( p ∨ q) ≡ p p ∨ ( p ∧ q) ≡ p p ∧ ( : p ∨ q) ≡ p ∧ q p ∨ ( : p ∧ q) ≡ p ∨ q De transposición p ⇒ q ≡: q ⇒: p p ⇔ q ≡: p ⇔ : q La primera. la negación de una conjunción o de una disyunción son distributivas respecto a la disyunción o conjunción. De exportación p ⇔ q ≡ ( p ∧ q ) ∨ ( : p∧ : q ) ≡: ( p ∨ q ) ( p ∧ q) ⇒ s ≡ p ⇒ ( q ⇒ s) ( p1 ∧ p2 ∧ . implicación contrarecíproca...

Del silogismo hipotético ( p ⇒ q ) ∧ ( q ⇒ s )  ⇒ ( p ⇒ s )   En una proposición. De la adición q ⇒ ( p ∨ q) p ⇒ ( p ∨ q) En una proposición. si el antecedente y consecuente de una conjunción son verdades. cuando se niega el antecedente de la premisa de una disyunción. entonces cualquiera de los términos es verdad. cuando se afirma que uno de los miembros de una bicondicional es verdadera.Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica Del modus tolens ( p ⇒ q ) ∧ : q  ⇒ : p   En una proposición. Del silogismo disyuntivo ( p ∨ q ) ∧ : p  ⇒ q   En una proposición. De la simplificación ( p ∧q) ⇒ p ( p ∧q) ⇒ q En una proposición. entonces el otro miembro también es verdadero. el condicional es transitivo. el bicondicional es transitivo. De la transitividad simétrica ( p ⇔ q ) ∧ ( q ⇔ p )  ⇒ ( p ⇔ s )   En una proposición. si se niega el consecuente de una premisa condicional entonces se concluye en la negación del antecedente. De la inferencia equivalente ( p ⇔ q ) ∧ p  ⇒ q   En una proposición. se concluye en la afirmación del consecuente. Conjunción de una proposición V ( p ∧V ) ⇔ p Conjunción de una proposición F ( p∧F) ⇔ F Disyunción de una proposición V ( p ∧V ) ⇔ V Disyunción de una proposición F ( p∧F) ⇔ p Implicaciones asociadas Ingeniería en Electrónica 7 . una disyunción está implicada por cualquiera de sus dos miembros.

y q una proposición. Si q es V queda establecida la verdad de p ⇒ q . se presentan otros tres.…. toda regla de inferencia es tautológica. independientemente de la V o F de las proposiciones componentes. es tautológico. Si p es F. es decir. y el consecuente es la conclusión. Llamamos regla de inferencia. los siguientes bicondicionales son tautologías. Si la implicación directa es V. ii) indirecto. a todo esquema válido de razonamiento. y las proposiciones antecedente y consecuente son equivalentes. Pero si q es F hay que examinar p y llegar a establecer que su valor de verdad es F. es decir. Son ejemplos de reglas de inferencia: a) Ley del modus ponens: Si p y p ⇒ q . si p1. y de acuerdo con lo expuesto se presentan dos métodos: i) directo. De un razonamiento no se dice que es V o F. llamada conclusión. Pero si son verdaderos un condicional y su recíproco o contrario. Un razonamiento deductivo es válido cuando el condicional cuyo antecedente es la conjunción de las premisas. Un razonamiento deductivo es válido si no es posible que las premisas sean verdaderas y la conclusión falsa.pn son verdaderas. entonces q La notación clásica es contrarios : q ⇒: p contrarios ( p ⇒ q) ⇔ ( : ( q ⇒ p) ⇔ ( : q ⇒: p ) p ⇒: q ) Ingeniería en Electrónica 8 . sino que es válido o no. Se presenta continuamente la necesidad de demostrar la verdad de p ⇒ q . Razonamiento deductivo valido En matemática interesa el tipo de razonamiento llamado deductivo. también Io es la contrarecíproca. respecto de la cual se afirma que deriva de las premisas. Un razonamiento es deductivo si y sólo si las premisas son evidencias de la verdad de la conclusión. pues en este caso p ⇒ q es V. y cualquiera de ellas puede tomarse como directa. en conexión con él. De este modo. q ) siendo { pi } un conjunto finito de proposiciones. Llamamos razonamiento a un par ordenado ( { pi } .p2. obtenidos por permutaciones o negaciones del antecedente y consecuente: q⇒p : p ⇒: q : q ⇒: p recíproco contrario contrarecíproco Las cuatro implicaciones propuestas se llaman conjugadas. entonces q verdadera.Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica Sea el condicional p ⇒ q . y no podemos afirmar la verdad de la reciproca ó de la contraria. Si p es V hay que establecer que el valor de verdad de q es V. El siguiente esquema nos proporciona la relación que las vincula: p⇒q recíprocos q⇒p : p ⇒: q recíprocos Es fácil verificar que las implicaciones contrarecíprocas son equivalentes. nada hay que probar. entonces son verdaderos los cuatro. que llamamos directo. llamadas premisas.

Si nos referimos a los números enteros y estamos interesados en la propiedad de ser impar. introducimos los símbolos ∀x y ∃x . llamados cuantificadores universal y existencial en x.Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica p p⇒q q b) Ley de modus tolens: p⇒q : q : p Este esquema de la notación clásica del condicional  ( p ⇒ q ) ∧ : q  ⇒ : p  c) Ley de silogismo hipotético: p⇒q q⇒r p⇒r Es decir. se verifica P (x) Existe x. Su cuantificación El símbolo P (x) es la representación de un predicado o propiedad relativos al objeto indeterminado x. Definición: Función proposicional en una variable o indeterminada x es toda oración en la que figura x como sujeto u objeto directo. sin embargo. A partir de funciones proposicionales es posible obtener proposiciones generales mediante un proceso llamado de cuantificación. respectivamente. y se escribe P(x) : x es impar Es claro que el enunciado: “x es impar” no es una proposición. cuantificada existencialmente. A expresiones de este tipo se las llama funciones o esquemas preposicionales. la cual se convierte en proposición para cada especificación de x. tal que se verifica P (x) Se denotan mediante ∀x : P ( x ) ∃x / P ( x ) Y corresponden a una función proposicional P(x) cuantificada universalmente en el primer caso. ya que la   correspondiente tabla de valores nos muestra que no es tautológico. es suficiente que sea verdadera alguna de las proposiciones asociadas a la función proposicional. Se presentan también funciones preposicionales con dos variables o indeterminadas. que para cada asignación dada al sujeto x dicho enunciado es una proposición. ya que a menos que se especifique a x no podemos decir nada acerca de su verdad o falsedad. Funciones proposicionales. Ocurre. y existencialmente en el segundo.   En cambio. entonces la traducción de P (x) consiste en: x es impar. Se presentan también funciones proposicionales con dos variables o indeterminadas. Asociados a la indeterminada x. Ingeniería en Electrónica 9 . perteneciente a cierto universo o conjunto. la proposición ( p ⇒ q ) ∧ ( q ⇒ r )  ⇒ ( p ⇒ r ) es una tautología. el condicional ( p ⇒ q ) ∧ q  ⇒ p no es una forma válida de razonamiento. Para asegurar la verdad de una función preposicional. Las expresiones Para todo x. Es obvio que una función preposicional cuantificada universalmente es V si y sólo si son V todas las proposiciones particulares asociadas a aquella. Una función proposicional cuantificada adquiere el carácter de proposición.

la verdad de p ∧ q . Conjunción Este circuito admite el pasaje de corriente. y se niega la función proposicional. sólo si las dos son V. Las operaciones preposicionales pueden representarse mediante circuitos con tantos interruptores como proposiciones componentes. y se niega la función preposicional. Se tienen entonces las siguientes equivalencias. Para representar a p. es decir. se tiene Y para p. si es V. combinados en serie o en paralelo. Y para negar una función proposicional cuantificada existencialmente se cambia el cuantificador en universal. : ∀x : P ( x )  ⇔ ∃x / : P ( x )   :  ∃x / P ( x )  ⇔ ∀x :: P ( x )   Circuitos Lógicos La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con un interruptor. Disyunción Implicación ( p ⇒ q ) ⇔ : ( p∧ : q ) ( p ⇒ q) ⇔ ( : p ∨ q) Ingeniería en Electrónica 10 .Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica Para negar una función proposicional cuantificada universalmente se cambia el cuantificador en existencial. el interruptor se cierra si p es V y se abre si p es F. si es F Es decir.

Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica Diferencia simétrica ( p ∨ q ) ≡ : ( p ⇔ q ) ≡ : ( p ⇒ q ) ∧ ( q ⇒ p )  ≡ : ( p ⇒ q ) ∨ : ( q ⇒ p ) ≡   ≡ ( p ∧ : q ) ∨ ( q ∧ : p ) ≡ ( p ∨ q ) ∧ ( p∨ : p ) ∧ ( : q ∨ q ) ∧ ( : q ∨ : p ) ≡ ≡ ( p ∨ q ) ∧ ( : q∨ : p ) Ingeniería en Electrónica 11 .

Departamento de Creación Editorial de Lexus Editores . Rojo – EL ATENEO (1996) – ISBN 950-02-5204-X. Microsoft Corporation. FÓRMULAS MATEMÁTICAS (1ra Edición 2008) . 2008. Ingeniería en Electrónica 12 .Armando O. "Lógica" Microsoft® Encarta® 2009 [DVD]. Algebra 1 (XVII Edición) .Miguel Leonardo Bielak Programa Analítico de Algebra y Geometría Analítica Textos consultados: Capítulo 1.ISBN 978-9972-209-54-3.