logica

Páginas: 2 (434 palabras) Publicado: 10 de marzo de 2014
CONECTIVOS LOGICOS
Conectivos lógicos

En lógica, las palabras que se usan para relacionar proposiciones simples y formar compuestas, se le conocen como conectivos lógicos (así como losconectivos normales que usamos en los enunciados).

Entonces si la proposición:

p: Si estudio mucho entonces obtendré buenas calificaciones y me darán un premio.

Primero se separan en proposicionessimples:

S: estudio mucho.
t: obtendré buenas calificaciones.
r: me darán un premio.

Y se lee simbólicamente de la siguiente manera la proposición compuesta p:

p: Si s → t ^ r

Entonces yasabemos que los conectivos lógicos se emplean para asociar proposiciones simples en proposiciones compuestas.


CONECTIVOS Y REGLAS
El primer conectivo es el de negación y se aplica para modificarproposiciones de cualquier tipo y se representa con el símbolo ¬, que significa no. Para negar una proposición se coloca el símbolo antes de ella, ejemplo:

q: El día está nublado.

Su negaciónquedará así:

¬ Q: El día no está nublado.


Tabla de conectivos lógicos:

Nombre del.....................Nombre del tipo
Conectivo........Símbolo......de proposición......Y..................^..........Conjunción
......O...................v...........Disyunción
..Si…entonces......→...........Implicación o condicional
..Si y sólo si.........↔...........Bicondicional


El conectivo deconjunción (Y) une dos afirmaciones, con la peculiaridad de que ambas deben cumplirse para que la proposición compuesta sea verdadera; se representa p ^ q y se lee p y q.
.
Ejemplo: p: La nieve esfría y se derrite. (ésta proposición compuesta está formada por dos proposiciones simples).
.
p: La nieve es fría.
q: se derrite.
.
de manera símbolica quedaría: p ^ q
.
.
El conectivodisyunción (o) cuando dos proposiciones se unen con este conectivo, basta que una de ellas sea verdadera para que la proposición compuesta también lo sea; se reprenta p V q y se lee p ó q.
.
Ejemplo: q:...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Logica
  • Logica
  • Logica
  • Logica
  • Logica
  • Logico
  • logica
  • logica

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS