Escolar Documentos
Profissional Documentos
Cultura Documentos
Conectivas Lgicas
Las Conectivas Lgicas son aquellas que sirven para formar proposiciones compuestas.
Simblicamente las conectivas lgicas se representan del modo siguiente:
Enunciados Abiertos o Simples: son aquellos que tienen un nico valor de verdad. Es el
que no tiene otro enunciado como parte componente. Ejemplo: Las rosas son rojas.
Concepto de Proposiciones
Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera
o que es falsa, pero no ambas situaciones a la vez.
La conjuncin: es una proposicin compuesta que se obtiene al unir dos proposiciones simples
unidas o entrelazadas mediante el conectivo y, y se representa con el smbolo:
La disyuncin Inclusiva: es una proposicin compuesta de dos proposiciones simples unidas por
el conectivo lgico o, que se representa de la manera siguiente .
p p
v f
f v
Tabla de Verdad
La Negacin
Si una proposicin (sea simple o compuesta) es verdadera, su negacin es falsa o viceversa.
Ejemplo:
si P es: Constanza es un municipio de la Vega,
P se leer: no es cierto que Constanza es un municipio de la Vega.
La conjuncin
Esta proposicin solo es verdadera cuando las dos proposiciones que la forman son verdaderas y
en los dems casos ser falsa.
La disyuncin Inclusiva
Esta proposicin es falsa nicamente cuando las dos proposiciones que la forman son falsas, en
caso contrario es verdadera.
La disyuncin exclusiva
Esta solo ser verdadera cuando las dos proposiciones que la componen tienen diferentes valores
de verdad, en caso contrario es falsa.
p q pq
v v f
v f v
f v v
f f f
La Condicional o Implicacin
Una condicional solo es falsa cuando su antecedente es verdadero y el consecuente es falso; en
los dems casos la condicional es verdadera.
p q pq
v v v
v I n fg . Luz Adriana Monroy M a r tf n e z Lgica |4
f v f
fp fq pq
v
v v v
v f f
f v v
f f v
Concepto de Tautologa
Concepto de Contradiccin
p p pq
v f f
f v f
Concepto de contingencia
Ing. Luz Adriana Monroy Martnez Lgica |5
p q pq
v v v
v f f
f v v
f f v
p q r pq (pq)r
v v v v v
v v f v f
v f v v v
v f f v f
f v v v v
f v f v f
f f v f f
f f f f f
Ejemplo 2)
p q r pq (pq)r
v v v v v
Ing. Luz Adriana Monroy Martnez Lgica |6
v v f v f
v f v f v
v f f f v
f v v f v
f v f f v
f f v f v
f f f f v
El mtodo axiomtico consiste en aceptar sin prueba ciertas proposiciones como axiomas o
postulados.
La principal caracterstica de un sistema axiomtico es que si puede demostrarse de alguna
manera la verdad de los axiomas, quedan automticamente garantizadas tanto la verdad como la
consistencia mutua de todos los teoremas.