Sei sulla pagina 1di 37

proposición

• Es toda oración o enunciado al que se le puede asignar un


cierto valor (v o f).

• Es cualquier agrupación de palabras o símbolos que tengan


sentido y de la que en un momento determinado se pueda
asegurar si es verdadera o falsa.

• Las proposiciones se denotan con letras minúsculas.


Ejemplo: p, q, r, a, b.
PROPOSICIONES SIMPLES:
• También denominadas proposiciones atómicas.
Son aquellas proposiciones que no se pueden
dividir.
• son aquellas que constan de un solo enunciado.

• Ejemplos:
El cielo es azul.
Si gano el semestre .
Me voy de vacaciones.
PROPOSICION COMPUESTA
• También denominadas moleculares. Son aquellas que están
formadas por dos o más proposiciones simples unidas por los
operadores lógicos.

Ejemplos:
-Fui al banco, y el banco estaba cerrado.
-Los lectores de este libro son jóvenes o universitarios.
-Si el miércoles próximo me saco la lotería entonces te
regalare un auto.
-Si gano el semestre entonces me voy de vacaciones
Conectivos lógicos (términos de
enlace)
• Son aquellos que sirven para formar
proposiciones más complejas (compuestas o
moleculares).

• “Son palabras y/o símbolos que enlazan


proposiciones con el fin de construir un lenguajes
(verbal o simbólico) más amplio”. Los conectivos
lógicos más usuales son:
Conectivos lógicos
Conectivos lógicos
• Los conectivos lógicos, llamados también
operadores, son símbolos del lenguajes formal
que reemplazan a los conectivos gramaticales
y al adverbio de negación no. OPERACIÓN
LÓGICA CONECTIVO LÓGICO ESQUEMA
Negación ~ ~p Conjunción ^ P ^ q Disyunción
Inclusiva vP v q Disyunción Exclusiva v P v q
Condicional P q Bicondicional P q
Conjunción
• Es una palabra o conjunto de ellas que enlaza
proposiciones, sintagmas o palabras. Proviene del
latín cum: ‘con’, y jungo: ‘juntar’; por lo tanto,
significa ‘que enlaza o une con’. Constituye una
de las clases de nexos

• Es una proposición compuesta que se obtiene al


unir dos proposiciones simples unidas o
entrelazadas mediante el conectivo “y”, y se
representa con el siguiente símbolo: “ð”.
Conjunción
• La conjunción es un operador que opera sobre
dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo
el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera
cuando ambas son verdaderas.
Conjunción
• Para la conjunción usaremos el símbolo lógico
^.
• Cuando dos proposiciones simples se
combinan mediante la palabra « y » , la
proposición compuesta resultante se le llama
conjunción .
Conjunción
• De esta manera, se tiene que la nueva
proposición p ^ q se llama conjunción de « p y q
».
• Ahora, el valor de verdad, para la conjunción de
dos proposiciones cualesquiera, «p y q» será de
la siguiente manera:
• p ^ q debe ser verdadera, si, y solamente si, tanto
p, como q, son verdaderas. De manera que, si al
menos, una de las proposiciones simples es falsa,
entonces, el valor de verdad para p ^ q , es falso.
Conjunción
Disyunción
• En matemáticas, una disyunción lógica,
comúnmente conocida como O, o bien como , es
un operador lógico que resulta verdadero si
cualquiera de los operadores es también verídico.
El símbolo es la inicial de la conjunción
adversativa latina vel, que significa «o», «o bien».

• es la acción y efecto de desunir y separar. El


concepto se utiliza en varios ámbitos,
Disyunción
• Se emplea la palabra «o» en el sentido inclusivo, como el
término y/o.
• Entonces una proposición del tipo «p o q» se toma siempre
como «p o q ó ambas». Dado esto admitimos la frase
compuesta como una proposición.

• Simbólicamente la denotaremos escribiendo p v q .


• A esta nueva proposición compuesta se le llama
Disyunción, de modo que la proposición p v q se llama
disyunción de p y q.
Disyunción
• La disyunción es un operador que opera sobre
dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo
el valor de verdad verdadero cuando una de
las proposiciones es verdadera, o cuando
ambas lo son, y falso cuando ambas son
falsas.
Disyunción
ejemplos:
• Si p es la proposición «2 es un número par» y
q es la proposición «3 es un número primo»,
entonces la disyunción p v q será la
proposición «2 es un número par o 3 es un
número primo». Donde el valor de la
disyunción es verdadero pues tanto p y q son
ambas verdaderas.
Disyunción Inclusiva:
• Es una proposición compuesta de dos
proposiciones simples unidas por el conectivo
lógica “o”, que se representa de la manera
siguiente: “V”.
• Esta proposición es falsa únicamente cuando
las dos proposiciones que la forman son falsa,
en caso contrario es verdadera.
Disyunción inclusiva
• La disyunción inclusiva es verdadera cuando al
menos una de las proposiciones sea verdadera
y es falsa cuando todas las proposiciones
simples sean falsas.

ejemplo,
• para optar a un puesto de trabajo hay que
saber inglés o francés, interpretamos que
alguien que sabe inglés puede optar a dicho
trabajo, alguien que sabe francés también, y,
por supuesto, alguien que sepa tanto inglés o
francés también.
• Roberto es profesor o es estudiante. (Puede
ser los dos)
Disyunción Exclusiva
• Es una proposición compuesta por dos
proposiciones simples entrelazas por el
conectivo “o…o” y se representa así: “V”.

• Esta solo será verdadera cuando las dos


proposiciones que la componen tienen
diferentes valores de verdad, en caso
contrario es falsa.
Disyunción Exclusiva
• La proposición p v q cuando únicamente una
de las proposiciones es verdadera y la otra
falsa.
• Elena está viva o está muerta. (No puede ser
los dos)
Implicación
• Es la combinación de dos proposiciones
unidas por la conectiva “si…entonces…”, que
se representa de la forma siguiente: “→“. La
proposición que aparece entre las palabras”Si
y Entonces”, se denomina antecedente o
hipótesis y la que aparece después de la
palabra “Entonces”, se le llama consecuente o
conclusión.
Implicación o Condicional
• El condicional material es un operador que opera
sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones,
devolviendo el valor de falso sólo cuando la
primera proposición es verdadera y la segunda
falsa, y verdadero en cualquier otro caso.

• La tabla de verdad del condicional


material es la siguiente:
Implicación directa, contraria,
recíproca y contrarrecíproca

• Existen varias formas de enunciar


proposiciones condicionales así:
• Implicación directa: p → q
• Implicación contraria: ~p → (~q)
• Implicación recíproca: q → p
• Implicación contra recíproca: ~q →(~p)

Ejemplo

• Dadas las proposiciones :


p: Es un animal mamífero.
q: Tiene pelo entonces.
• Implicación directa: Si es mamífero entonces
tiene pelo.
• Implicación contraria: Si no es mamífero
entonces no tiene pelo.
Ejemplo
• Dadas las proposiciones:
p: Es un animal mamífero.
q: Tiene pelo entonces.
• Implicación recíproca: Si tiene pelo entonces
es mamífero.
• Implicación contra recíproca: Si no tiene pelo
entonces no es mamífero.
Proposición Contrarrecıproca
• ejemplo, la contrarrecıproca de la proposición
“Si María estudia mucho, entonces es buena
estudiante” es “Si María no es buena
estudiante, entonces no estudia mucho”.
Ejercicios
• Escribir la reciproca y la contrarrec´ıproca de
cada una de las afirmaciones siguientes:
• (a) Si llueve, no voy.
• (b) Me quedare, solo si tu te vas.
• (c) Si tienes cien pesetas, entonces puedes
comprar un helado.
• (d) No puedo completar la respuesta si no me
ayudas.
Equivalencia o Doble Implicación
• Es una proposición que se obtiene al unir dos
proposiciones simples mediante el conectivo
“si y solo si” y se representa así:”ð”
Equivalencia, doble implicación o
Bicondicional
• El bicondicional o doble implicación es un
operador que funciona sobre dos valores de
verdad, típicamente los valores de verdad de dos
proposiciones, devolviendo el valor de verdad
verdadero cuando ambas proposiciones tienen el
mismo valor de verdad, y falso cuando sus
valores de verdad diferente.

• La tabla de verdad del bicondicional


es la siguiente
VALORES DE VERDAD DE UNA
PROPOSICION COMPUESTA
• Valor de verdad : Un valor de verdad es lo que indica la
veracidad de una proposición. Este valor puede ser
Verdadero o Falso, los cuales se pueden representar
con "V" y "F", con "1" y "0", con "True" y "False".

• En el caso de la lógica matemática, las proposiciones


pueden ser verdaderas o falsas, pero nunca ambas a la
vez, es decir, una proposición no puede ser verdadera y
falsa simultáneamente. Esta formalización fue
propuesta por Aristóteles, y es cuando una tercera cosa
no se da por hecho.
Ejemplos

• Proposición verdadera:
• El sol es una estrella.

• El sol es una estrella Y pertenece a la vía láctea.

• Proposición falsa:
• El sol es un planeta.

• El sol es una estrella Y es satélite de la tierra.


Valor de verdad de una proposición
compuesta
• Para determinar el valor de verdad de una
proposición compuesta, es necesario, hacer
uso de las tablas de verdad, las cuales nos
dan, las posibles combinaciones, de los
valores de verdad de las proposiciones simples
que la componen.
• Tabla de verdad para la
conjunción (y)
Valor de verdad de una proposición
compuesta
• La anterior tabla, nos está diciendo: que una
proposición compuesta cuyo conector lógico es la “y”
es verdadera, únicamente cuando las proposiciones
simples que la componen son verdaderas.
• Ejemplos
• 1. 4 es par y 4 es divisible entre 2. (V)
(V) (V)
• 2. 5 es primo y 5 es par. (F)
(V) (F)
• 3. 3 mas 4 igual 9 y 5 mayor 9
Valor de verdad de una proposición
compuesta
• Para el caso de la disyunción, diremos que una
proposición compuesta, en la que aparece el
conector lógico “o”, es falsa, solo cuando las
proposiciones simples que la componen son
falsas. En caso contrario, la proposición
compuesta será verdadera.
Valor de verdad de una proposición
compuesta
• Ejemplos
• 1. 4 es par o 4 es divisible entre 2. (V)
(V) (V)
• 2. 5 es primo y o es par.
• 3. 3 mas 4 igual 9 o 5 mayor 9
Valor de verdad de una proposición
compuesta
• Disyunción exclusiva