Este documento explica los conceptos básicos de la lógica proposicional, incluyendo proposiciones, negación, conjunción, disyunción, condicional y bicondicional. Define cada uno y proporciona su símbolo y tabla de verdad correspondiente. La negación se define como anteponer "no", la conjunción usa "y", la disyunción usa "o", el condicional mantiene una relación de dependencia, y el bicondicional funciona cuando ambas proposiciones tienen el mismo valor de verdad.

1. INSTITUTO TECNOLOGICO SUPERIOR “IBARRA”
NOMBRE: MAYRA ANDRANGO
CURSO: PRIMERO SISTEMAS NOCTURNO
DEBER DE MATEMÁTICAS
CÁLCULO PROPORCIONAL
Proposición: Es una expresión o frase que tiene un valor de verdad pero no ambos a la
vez. En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es
el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto
constituye el juicio.
Negación: Es lo que se puede negar anteponiendo la palabra “NO“ y su signo es (~)
Tabla de Verdad (~)
p ~q
V F
F V
Conjunción: Es un conectivo lógico que relaciona dos proposiciones simples para formar
una proposición compuesta mediante la letra “y” su símbolo es (^)
Tabla de Verdad (^)
p q p^q
V V V
V F F
F V F
F F F
Disyunción: Es un conectivo lógico que relaciona dos proposiciones simples para formar
una proposición compuesta mediante la letra “o” su símbolo es (V)
La proposición disyuntiva inclusiva admite que las dos alternativas se den
conjuntamente.

2. Ejemplo: Diego es profesor o es estudiante. (Puede ser los dos)
La proposición disyuntiva exclusiva no admite que las dos alternativas se den
conjuntamente.
Ejemplo: Maria está viva o está muerta. (No puede ser los dos)
Tabla de Verdad (V)
p q pvq
V V V
V F V
F V V
F F F
Condicional: Es un conectivo lógico que relaciona dos proposiciones simples que
mantienen una relación de dependencia, su símbolo es (⇒) un operador que opera sobre
dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo
el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa,
y verdadero en cualquier otro caso.
Tabla de Verdad (⇒)
p Q p ⇒ q
V V V
V F F
F V V
F F V
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 difieren. Es un conectivo lógico que relaciona dos
proposiciones simples manteniendo una dependencia doble, su símbolo es (⇔)
Tabla de Verdad (⇔)
p q p es ⇔q
V V V
V F F
F V F
F F V