Introducción a la lógica Computacional

Que son las proposiciones

• Son una sentencia declarativa, o reglas las cuales tienen valores de verdad, una
proposición puede tener dos valores, verdadero o falso. Pero no ambos
(verdadero y falso) y tampoco pueden no tomar ningún valor. Una proposición
es un hecho. Los argumentos de las proposiciones son: premisas y
conclusiones de una proposición. Las proposiciones son portadoras de
veracidad y falsedad.
 Estas se dividen en dos:
• Proposiciones simples:
• Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede
concluir que es verdadero o falso.
• Proposiciones compuestas:

• Es una frase que consta de uno o varios sujetos y de un predicado que afirma algo en torno
a dichos sujetos. Los sujetos de una proposición simple deben ser todos términos singulares
 Proposiciones simples:

• Las siguientes proposiciones son verdaderas:

• El Licey es azul
• Las Águilas Amarillas
• 8*8=64
• Danilo Medina es el presidente de la República Dominicana 2016-2020
• La Independencia de la República Dominicana fue en el 1844
 Proposiciones simples:

• Las siguientes proposiciones son falsas:

• En la nevera se cocina rápido

• El mar es marrón
• 25+30 = 70
• Los Insectos viven todos en el rio de Haina
• Azua es la Capital de La República Dominicana
 Proposiciones no validas

• Las cosas buenas vienen en pequeños paquetes - > Este tipo de declaración expresa una idea
subjetiva o concepto el cual no puede ser verificado en términos de verdadero o falso.

• La verdad es que no hay verdad-> Esta es también un valor de hecho y expresa un concepto
filosófico el cual no es verificable.

• Dios es bueno-> Este es un valor de hecho y expresa una ética, idea religiosa o dogma. No
es una proposición.
 Tipos de conjunciones

• Me levanté y salí tan pronto como pude.

• Había tenido un día terrible y los inspectores fueron a joder.
• Me desayune y luego fui a la universidad.
• Estuve de rumba anoche y choque el vehículo
• Le mostré todos los articulo y luego selecciono el de su gusto
• No sé si viajar a la playa o a la montaña este verano.
• Consigamos cinco o seis kilos de carne para que podamos comer todos.
• Ya no sé si es el hombre que yo conocí o alguien me lo cambió.
• ¿Aceite de oliva o de maíz?
• Cada día es peor: o me esconde las cosas o me hace burla en el trabajo.
• A veces mi madre no recuerda si tiene dos o tres hermanos.
• Me dijeron que esperará en esta sala.
• Ellos quieren que vendamos cuanto antes.
• El joven que te mencioné es tan inteligente como su hermano.
• No pudo venir porque su hijo tenías fiebre.
• Iré al concierto si la clase termina temprano.
• Si llueve se suspenderá el recital
• Aunque no me sentía bien, fui a la entrevista.
• Me quedé sin mercadería, de modo que decidí cerrar más temprano.
 Proposiciones lógicas
Estas son 5
1) la O equivalente símbolo (V ) :
Esta es falsa cuando ambos son F.
P Q P V Q
F F F

2) la Y equivalente símbolo ( Λ ) :
Esta es verdadera cuando ambas son V.
P Q P Λ Q
V V V
 Proposiciones lógicas
3 ) El si entonces equivalente símbolo ( ) :
• Esta es falsa cuando el primero es verdadero y el segundo falso.
P Q P Q
V F F
4) la si y solo si equivalente símbolo ( ):
• Esta es verdadera cuando ambas son iguales.

P Q P Q
V V V

F F V
 Proposiciones lógicas

5) La negación equivalente símbolo ( ~) :

• Es lo contrario si Verdadera es falsa y si es falsa es verdadera.

~ ~
P Q
P Q
V V F F
F F V V
 La Proposición O equivalente símbolo (V )

Ejemplo 1-5
Estas es falas cuando ambos son F.
P Q P V Q
V V V
V F V
F V V
F F (F)
 La Proposición Y equivalente símbolo ( Λ )

Ejemplo 2-5
Estas es verdadera cuando ambas son V.
P Q P Λ Q
V V (V)
V F F
F V F
F F F
 La Proposición si entonces equivalente símbolo ( )

Ejemplo 3-5
Esta es falsa cuando el primero es verdadero y el segundo falso.
P Q P Q
V V V
V F (F)
F V V
F F V
 La Proposición si y solo si equivalente símbolo ( )

Ejemplo 4-5
Estas es verdadera cuando ambas son iguales.
P Q P Q
V V (V)
V F F
F V F
F F (V)
 La Proposición negación equivalente símbolo ( ~)
Ejemplo 5-5
Es lo contrario si Verdadera es falsa y si es falsa es verdadera.
~ ~
P Q
P Q
V V F F
V F F V
F V V F
F F V V