LOGICA PROPOSCIONAL

Páginas: 16 (3840 palabras) Publicado: 1 de abril de 2013
C apít ulo

1

LÓGICA PROPOSICIONAL

INTRODUCCIÓN

CLASES DE PROPOSICIONES:

La lógica estudia la forma de razonamiento. Es una disciplina que se utiliza para determinar si un argumento es válido,
tiene aplicación en todos los campos del saber; en la filosofía, para determinar si un razonamiento es válido o no, ya
que una frase puede tener diferentes interpretaciones; sin
embargo lalógica permite saber el significado correcto. Los
matemáticos usan la lógica, para demostrar teoremas e inferir resultados que puedan ser aplicados en investigaciones .
En la computación, para revisar programas y crear sus
algoritmos, es utilizada en el diseño de computadoras. Existen circuitos integrados que realizan operaciones lógicas con
los bits, gracias a estos se ha desarrollado lastelecomunicaciones (telefonía móvil, internet, ...)

1.

Proposición Simple: S on proposiciones que no
tienen conjunciones gramaticales ni adverbio de
negación.
Ejemplo:
* Cincuenta es múltiplo de diez.

2.

Proposición Compuesta: Formada por dos o más
proposiciones simples unidas por conectivos lógicos o
por el adverbio de negación.
Ejemplo:
* 29 es un número primo y 5 es impar.ENUNCIADO: Es cualquier frase u oración que expresa
una idea.

CONECTIVOS LÓGICOS: Símbolos que enlazan dos o
más proposiciones simples para formar una proposición
compuesta.
Los conectores lógicos que usaremos son :
SÍMBOLO

PROPOSICIÓN: Son oraciones aseverativas que se pueden calificar como verdaderas o falsas. Se representan con
las letras minúsculas del abecedario: p ; q ; r ; s.~




Ejemplo:
* Túpac Amaru murió decapitado.
* 9 < 10
* 45 = 3  2
ENUNCIADO ABIERTO: Son enunciados que pueden





OPERACIÓN
SIGNIFICADO
LÓGICA
Negación
No p
Conjunción
pyq
Disyunción
poq
Condicional

Si p, entonces q

Bicondicional
Disyunción
Exclusiva

p si y sólo si q
"o ........ o ........"

tomar cualquiera de los 2 valores de verdad.

OBS: L anegación es un conector monádico, afecta solamente a una proposición.

Ejemplo:

OPERACIONES LÓGICAS Y TABLAS DE VERDAD

Si : P(x ) : x  6
Se cumple que:

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 verdad.

P(9) : 9  6 es verdadero
P(2) : 2  6 es falso

El valor de verdadde P(x) depende del valor de x, también,
se le conoce como función proposicional.

1.

Conjunción: Vincula dos proposiciones mediante el
conectivo lógico "y".
Tabla de Verdad
pqpq

V
V
F
F

V
F
V
F

V
F
F
F

1

2.

Disyunción: Vincula dos proposiciones mediante el
conectivo lógico "o".

IMPORTANTE:

V
V
F
F
3.

V
F
V
F

V
V
V
F

*

Cuando losvalores del operador principal son todos
verdaderos se dice que el esquema molecular es
tautológico.

*

Se dirá que el esquema molecular es contradictorio
si los valores del operador principal son todos falsos.

*

Tabla de Verdad
pqpq

Si los valores del operador principal tiene por lo menos
una verdad y una falsedad se dice que es contingente
o consistente.

DisyunciónExclusiva: Vincula dos proposiciones
mediante el conectivo lógico: "o ..........., o ............."
Tabla de Verdad
pqpq

VV
VF
FV
F
4.

F
V
V
F

F

Condicional: Vincula dos proposiciones mediante el
conectivo lógico :
"Si ............, entonces .............."
Tabla de Verdad
pqpq

VV
VF
FV
F

V
F
V
V
F

F

LEYES DE ÁLGEBRA PROPOSICIONAL
Son equivalencias lógicasque nos permiten reducir esquemas moleculares complejos y expresarlos en forma más sencilla. Las demostraciones de dichas leyes se hacen construyendo la tabla de verdad en cada caso.

Principales Leyes:
a.

Ley de Idempotencia:
pp  p

pp p
b.

Ley Conmutativa:
pq qp

pq qp
5.

Bicondicional: Vincula dos proposiciones mediante
el conectivo lógico:
".............. si...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • La logica de la logica
  • Logica
  • Logica
  • Logica
  • Logica
  • Logica
  • Logico
  • logica

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS