You are on page 1of 11

Los conectivos lógicos son símbolos que permiten obtener nuevas proposiciones a partir de proposiciones dadas.

Los conectivos son: no; y; o (incluyente, excluyente); si… entonces…; sí y sólo sí.

a la proposición “no p”. Se denota por ~p. Observación: La proposición ~p es verdadera si p es falsa y. es falsa si p es verdadera. -p o p’. Tabla de verdad: p ~p V F F V Ejemplo: p: “2 + 2 = 5” ~p: “No es cierto que 2 + 2 = 5” ~p: “2 + 2 ≠ 5” .Se llama negación de una proposición p.

La proposición p  q es verdadera sólo si p y q son verdaderas. Se denota por p  q. Tabla de verdad p V V F F q V F V F p  q V F F F . Es falsa si al menos una de ellas es falsa.Se llama conjunción de las proposiciones p y q a la proposición p y q.

Ejemplo: p: “el triángulo equilátero tiene los tres lados iguales” q: “el triángulo equilátero tiene los tres ángulos iguales” p  q: “el triángulo equilátero tiene los tres lados iguales y el triángulo equilátero tiene los tres ángulos iguales” En forma más sencilla la proposición p  q se enuncia: “el triángulo equilátero tiene sus tres lados y sus tres ángulos iguales” .

Se denota por p v q. La proposición p v q es verdadera sólo si al menos una de las proposiciones p ó q es verdadera y es falsa si ambas son falsas. Tabla de verdad p V V F F q V F V F pvq V V V F .Se llama disyunción de las proposiciones p y q a la proposición p ó q.

Ejemplo: p: “2 + 3 = 4” q: “2 + 3 = 5” p v q: “2 + 3 = 4 ó 2 + 3 = 5” Se usa el o en el sentido inclusivo. . que hace que la frase anterior sea verdadera.

Tabla de verdad p V V F F q V F V F pq F V V F . Se denota como p  q .Se llama disyunción excluyente de las proposiciones p y q a la proposición “o p o q”. La proposición p  q es verdadera sólo si las proposiciones p y q tienen diferente valor de verdad y es falsa en otro caso.

Ejemplo: p: “me estas diciendo la verdad” ~p: “me estás mintiendo” p  ~ p : “O me estás diciendo la verdad o me estás mintiendo” Como se mencionaba anteriormente. que hace que la frase anterior sea verdadera (se puede verificar fácilmente mediante una tabla de verdad). . este “o” se usa en el sentido sentido excluyente.

entonces q”. . Se denota por p → q y se lee: “si p entonces q” ó “p es condición suficiente para q” ó “q es condición necesaria para p”.Se llama condicional de las proposiciones p y q a la proposición “Si p. La proposición p → q es falsa solamente si p es verdadera y q es falsa y es verdadera en cualquier otro caso. La primera proposición se llama antecedente y la segunda consecuente.

entonces la tierra es un astro” .Tabla de verdad p V V F F Ejemplo: q V F V F p→q V F V V p: “el sistema solar está formado sólo por astros” q: “la tierra es un astro” p → q: “si el sistema solar está formado sólo por astros.

La proposición p ↔ q es verdadera si ambas p y q son verdaderas o falsas y. es falsa en otro caso.Se llama bicondicional de las proposiciones p y q a la proposición “p si y sólo si q” ó “p es condición necesaria y suficiente para q” y se denota por p ↔ q. Tabla de verdad p V V F F q V F V F p↔q V F F V .