welcomeeeee

!welcome to the blogspot!

····logica matematica····

sebastian alfonso··· (tarrao de conocimiento)
fabian moreno··· (exosto de la verdad)

all nice***

logica basica


Principia Matemática
• Conjunción (∧): p∧q ≡ ¬(¬p∨¬q)
• Condicional (→): p→q ≡ ¬p∨q
• Bicondicional (↔): p↔q ≡ ((p→q)∧(q→p)) ≡ [(¬p∨q)∧(¬q∨p)]
• Disyuntiva exclusa (⊕): p⊕q ≡ ¬(p↔q)

25 de noviembre de 2009

***proposiciones atomicas y moleculares***

Proposición atómica y molecular [editar]En los casos anteriores hemos considerado únicamente la posibilidad de un enunciado atómico o simple, simbolizada con una sola variable. Estas proposiciones se llaman atómicas.

Si establecemos conexiones lógicas entre varias proposiciones según unas reglas perfectamente establecidas en sus elementos simbólicos y definidas como funciones de verdad, construiremos proposiciones moleculares o compuestas.

Así la proposición “Si llueve entonces el suelo está mojado”, enlaza la proposición “llueve” con la proposición “el suelo está mojado”, bajo el aspecto de función de verdad “si…… entonces…..”.

sebastian

No hay comentarios:

Publicar un comentario