LOGICA MATEMATICA

QUE ES LA LOGICA MATEMATICA?

La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado.

LGICA PROPORCIONAL

QUE ES LOGICA PROPORCIONAL?

lgica proposicionales unsistema formaldiseado para analizar ciertos tipos deargumentos. En lgica proposicional, las frmulas representanproposicionesy las conectivas lgicas sonoperacionessobre dichas frmulas, capaces de formar otras frmulas de mayor complejidad.

LOGICA PROPORCIONAL

CONCEPTO DE PROPOSICIN
Unaproposicines una oracin con valor, de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser verdadera o falsa empricamente, sin ambigedades. Son proposiciones las oraciones

PROPOSICIONES COMPUESTAS
Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica.

1.Proposiciones lgicas
v

La lgica proposicional o tambin llamada lgica matemtica estudia las proposiciones, entendiendo como tales a los enunciados declarativos que tienen la propiedad de ser verdaderos o falsos ; pero no ambas al mismo tiempo. Ejemplo :

Lima es la capital del Per La luna es un satlite de plutn 2+5=0 x+y > 1, x,y |R

Negacin
Dada una proposicin p, se llama negacin de p a la proposicin no p que se DE VERDAD TABLA representa Ejemplo por p: Si p es verdadera p es
Si p : el hombre es mortal entonces p: no es cierto que el hombre es mortal; lo que equivale a decir : p : el hombre no es mortal
falsa; si p es falsa , p es verdadera

p V F

p F V

Disyuncin
dadas las proposiciones p y q , se llama Ejemplo : disyuncin d p y q a la proposicin VERDAD TABLA DE p o q que :se representa por p q. Si p hace frio en p q es verdadera si p es invierno verdadera o q es verdadera y q : Napolen invadi Rusia p q p q
Entonces : p q : Hace frio en invierno o Napolen invadi Rusia
V V F F V F V F V V V F

Conjuncin
Dadas las proposiciones p y q , se llama conjuncin de p y q aTABLA DE VERDAD la proposicion p y qEjemplo : representada por p p q es verdadera si p y q q son verdaderas Si p : 2 es mayor simultneamente que 5 y q : todo nmero impar es primo, Entonces: p q : 2 es mayor que 5 y todo nmero impar es primo
p V V F F q V F V F p q V F F F

El condicional
se llama condicional de p y q a la proposicin TABLA DE VERDAD si p entonces q y se representa por p q Ejemplo: , p se llama antecedente qq consecuente p y es verdadera si p es Si p 2 es nmero p del :condicional primoq falsa o q es verdadera
y q : 5 es menor que 4 Entonces: p q: si 2 es nmero primo entonces 5 es menor que 4
p V V F F q V F V F p q V F V

El bicondicional
se llama bicondicional TABLA DE VERDAD de dos proposiciones p y q a la : Ejemplo proposicin p si y slo si q pq es verdadera si p y q son representada por p q ambas verdaderas o ambas p : juan ingresa a la falsas universidad q : juan estudia mucho Entonces: p : juan ingresa a la q universidad si y slo si estudia mucho
p V V F F q V F V F pq V F F