universidad estatal de milagro

tema

lógico matemático

Nombre

Zoila tayo rodas

Lógica proporcionalLa lógica proposicional o lógica de orden cero es un sistema

formal cuyos elementos más simples representan proposiciones, y

cuyas constantes lógicas

, llamadas conectivas, representan operaciones sobre

proposiciones, capaces de formar otras proposiciones de mayor

complejidad.

proposiciones compuestas moleculares

denominación significado simbolodenominación significado simbolo

Conjunción y ^

Disyunción débil 0 v

condicional Si …antepones …

negación no -p

Reglas

Conjunción : cuando una variable que esta unida por una variableque es verdadera solo puede ser verdadera si su dos valores sonverdaderos

Disyunción débil: es falsa únicamente cuando su primer valor y q ysu segundo valor son falsas. En todos los demás casos(cuando su primer valor y su segundo valor sonverdaderas, cuando su primer valor es verdadera y su segundovalor falsa y cuando su primer valor es falsa y su segunda esverdadera), la fórmula es verdadera.

Condicional: que es verdadero si su primer valor es verdadero y sisu segundo valor es verdad falso

Negación:

el valor de una proposición que produce un valorde verdadero cuando su operando es falso, y un valorde falso cuando su operando es verdadero.

Ejemplo P,q,r,s,t,u,v,w,x,y,z

2 2

p q 2º 2*2 =4

valores conjunción disyunción debil condicional

p q P ^ q P v q P q

0 0 0 0

0 1 0 1 0

1 0 0 1 1

1 1 1 1 0