Está en la página 1de 2

ARITMÉTICA

LÓGICA PROPOSICIONAL

DESARROLLO DEL TEMA

I. INTRODUCCIÓN P(9): 9 > 6 es verdadero.


La lógica estudia la forma de razonamiento. Es una P(2): 2 > 6 es falso.
disciplina que se utiliza para determinar si un argumen-
to es válido, tiene aplicación en todos los campos del El valor de verdad de P(x) depende del valor de x,
saber; en la filosofía, para determinar si un razonamien- también, se le conoce como función proposicional.
to es válido o no, ya que una frase puede tener dife- Clases de proposiciones
rentes interpretaciones; sin embargo la lógica permite
saber el significado correcto. Los matemáticos usan la 1. Proposición simple
lógica, para demostrar teoremas e inferir resultados que Son proposiciones que no tienen conjunciones
puedan ser aplicados en investigaciones. En la compu- gramaticales ni adverbio de negación.
tación, para revisar programas y crear sus algoritmos, es Ejemplo: Cincuenta es múltiplo de diez.
utilizada en el diseño de computadoras. Existen circui-
tos integrados que realizan operaciones lógicas con los 2. Proposición compuesta
bits, gracias a estos se ha desarrollado las telecomunica- Formada por dos o más proposiciones simples
ciones (telefonía móvil, internet, ...) unidas por conectivos lógicos o por el adverbio
de negación.
II. ENUNCIADO Ejemplo: 29 es un número primo y 5 es impar.
Es cualquier frase u oración que expresa una idea.
III. CONECTIVOS LÓGICOS
A. Proposición Símbolos que enlazan dos o más proposiciones simples
Son oraciones aseverativas que se pueden calificar para formar una proposición compuesta.
como verdaderas o falsas. Se representan con las Los conectores lógicos que usaremos son:
letras minúsculas del abecedario: p ; q ; r ; s.

Ejemplo: Símbolo Operación lógica Significado


• Túpac Amaru murió decapitado.
• 9 < 10  Negación No p
• 45 = 3 – 2  Conjunción pyq

B. Enunciado abierto  Disyunción poq


Son enunciados que pueden tomar cualquiera de
 Condicional Si p, entonces q
los 2 valores de verdad.
 Bicondicional p si y sólo si q
Ejemplo:
Disyunción
Si: P(x) : x > 6  “o ...... o ......”
exclusiva
Se cumple que:

LIBRO UNI 74 ARITMÉTICA


LÓGICA PROPOSICIONAL
Exigimos más!
Observación: La negación es un conector monádico, Tabla de verdad
afecta solamente a una proposición.
p q pq

V V V
IV. OPERACIONES LÓGICAS Y TABLAS DE
VERDAD V F F
F V V
F F V
La validez de una proposición compuesta depende de
los valores de verdad de las proposiciones simples que
la componen y se determina mediante una tabla de E. Bicondicional
verdad. Vincula dos proposiciones mediante el conectivo
lógico: ".............. si y sólo si ..............".
A. Conjunción
Vincula dos proposiciones mediante el conectivo Tabla de verdad
lógico "y". p q pq

V V V
Tabla de verdad
V F F
p q pq F V F
V V V F F V
V F F
F V F F. Negación
F F F Afecta a una sola proposición. Es un operador
monádico que cambia el valor de verdad de una
B. Disyunción proposición:
Vincula dos proposiciones mediante el conectivo
lógico "o". Tabla de verdad
p p
Tabla de verdad
V F
p q pq F V
V V V
V F V Observación
F V V La cantidad de filas en una tabla es:
F F F
# filas = 2 n

C. Disyunción Exclusiva Donde n es la cantidad de proposiciones simples.


Vincula dos proposiciones mediante el conectivo
lógico: "o ..........., o .............". Importante
• Cuando los valores del operador principal son
Tabla de verdad todos verdaderos se dice que el esquema mo-
p q pq lecular es tautológico.
V V F
V F V • Se dirá que el esquema molecular es contra-
F V V dictorio si los valores del operador principal son
F F F todos falsos.

D. Condicional • Si los valores del operador principal tiene por lo


menos una verdad y una falsedad se dice que
Vincula dos proposiciones mediante el conectivo
es contingente o consistente.
lógico: "Si ............, entonces ..............".

LIBRO UNI 75 ARITMÉTICA

También podría gustarte