UNIVERSIADAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES

“EZEQUIEN ZAMORA”

VICERRECTORA DE PLANIFICACIÓN Y DESARROLLO SOCIAL

PROGRAMA DE INGIENERIA, ARQUITECTURA Y TECNOLOGIA

SUB-PROGRAMA DE INGIENERIA DE INFORMATICA

SUBPROYECTO LOGICA

Proposiciones

DOCENTE: ALUMNA:
FANNY AREVALO  MARQUEZ EDDY
C.I:28630257
 Proposición

El término proposición se usa para referirse a:

 Las entidades portadoras de los valores de verdad.

 Los objetos de las creencias y de otras actitudes proposicionales.
 El significado de las oraciones declarativas o enunciativas, como “el sol es
una estrella”.

Una proposición es una cadena de signos expresados en un terminado lenguaje, en

un lenguaje natural esos signos usualmente son sonidos o caracteres escritos,
mientras que un tipo de lenguaje formalizado pueden ser signos arbitrarios. En ese
sentido una proposición puede entenderse como un producto lógico del pensamiento
humano que es expresado mediante un lenguaje natural, aunque también existen
lenguajes formales como la notación matemática.

Se encuentran diferentes tipos de proposiciones tales como:

Proposición gramática: en gramática, una proposición es una oración, es decir, una

palabra o un conjunto de palabras en sentido completo o dicho de otro modo una
unidad construida por un sujeto y un predicado, que puede o no estar acompañada
de otros complementos.

Proposición en filosofía: para la filosofía, una proposición es un producto lógico

surgido del acto de firmar o negar algo, lo cual constituye un juicio.

Proposición lógica: para lógica, una proposición se denomina la unidad de

razonamiento al que se le puede asignar un valor de la verdad, es decir, que puede
ser cierto o falso.

Proposición en matemáticas: como proposición se designa la enunciación de una

verdad demostrada o que se trata de demostrar mediante una formula constituida por
una serie de signos.
 Conectivos lógicos.

Los conectivos lógicos son símbolos o palabras que se utilizan para conectar
dos fórmulas bien formadas o sentencias, de modo que el valor de la verdad de la
formula compuesta depende del valor de la verdad de las formulas componentes.

Conectivos lógicos comunes:

 Negación (no): ¬ , ~
 Disyunción ( o ): ˅
 Conjunción( y ): ˄, y
 Condicional o implicación(si… entonces ): →
 Bicondicional o doble implicación ( si y solo sí ): ↔,≡,=
Nombres alternativos para Bicondicional son
“sii”, “xnor”, “bi-implicación
También es común considerar la formula siempre verdadera y la formula
siempre falsa como conectivos.
 Verdadero (T, 1 o T)
 Falso (┴, 0 o f)

Tablas de verdad

Una tabla de verdad o tabla de valores de verdades, es una tabla que muestra el
valor de verdad de una proposición compuesta, para cada combinación de
verdad q se pueda asignar

EJEMPLO:
a b C=f(a, b)
V V V
V F F
F V V
F F V
 Las tablas nos manifiestan los posibles valores de la verdad de cualquier posición
molecular, así como el análisis de la misma en función de las proposiciones que la integran,
nos encontramos con los siguientes casos:
A ¬A A˅¬A
Tautologías: es aquella proposición que en todos los
V F V
casos posibles de su tabla de verdad su valor
F V V
Siempre es V

Contradicción: es aquella proposición que en todos los A ¬A A˄¬A

Casos posibles de su tabla de verdad su valor V F F
Siempre es F F V F

Equivalencia lógica.

Una proposición es lógicamente equivalente a otra cuando cada una de las

asignaciones de valores de verdad de las proposiciones simples que las componen genera el
mismo valor de verdad en ambas proposiciones, en otra palabras dos expresiones son
lógicamente equivalente si sus tablas de verdad son iguales. La equivalencia lógica se
representa con el siguiente símbolo ≡ y significa que podemos remplazar una expresión con
su equivalencia ya que ambas generan la misma tabla de verdad.