04 Operadores Lógicos
04 Operadores Lógicos
04 Operadores Lógicos
UMG
Operadores lógicos
Las proposiciones se relacionan a través de operadores
que permiten formar otras proposiciones, estos
operadores son los responsables de las relaciones
lógicas entre las expresiones. Los operadores que
permiten la unión de proposiciones se llaman
operadores binarios.
Los siguientes son los principales operadores lógicos:
Nombre Conectivo lógico Símbolo
Conjunción Y ∧
Disyunción O ∨
Inclusiva
Disyunción O ⊻
Exclusiva
Condicional Si ... entonces →
Bicondicional si y sólo si ↔
Conjunción
El conectivo lógico para la conjunción se representa
mediante el símbolo ∧. Sean p y q dos proposiciones,
entonces p∧q es llamada la conjunción entre las
proposiciones p y q. Algunas frases en lenguaje natural
en las que aparece la conjunción pueden ser:
• pyq
• p pero q
• p aunque q
• p sin embargo q
• p no obstante q
• p a pesar de q
• p a menos q
• p igualmente q
La proposición p ∧ q se considera verdadera cuando p es
verdadera y q es verdadera, es decir, cuando ambas
proposiciones son verdaderas a la vez. Algunos ejemplos
de representación en lenguaje natural en los cuales se
utiliza la conjunción son los siguientes:
• Si p entonces q
• p implica q
• p sólo si q
• q si p
• p es suficiente para q
• Para q es suficiente p
• No p a menos que q
• q cuando p
• q es necesario para p
• Para p es necesario q
• p en consecuencia q
• p se deduce q
• p por ende q
Algunos ejemplos en lenguaje natural son los siguientes: