Upload
carlos-alberto-florio-luis
View
278
Download
5
Embed Size (px)
DESCRIPTION
Guia de Logica, Facyt UC
Citation preview
UNIVERSIDAD DE CARABOBO ELEMENTOS DISCRETOS FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGA Noviembre de 2007 DEPARTAMENTO DE COMPUTACIN GRUPO DE MATEMTICAS DE LA COMPUTACIN
Hecho Por: Kiara A. Ottogalli F.
GUA DE LGICA CONECTIVOS LGICOS
Negacin () Tabla Palabras clave p p v f f v
No No es cierto que
Es falso que No es el caso que
Conjuncin () Tabla Palabras clave p q p q v v v v f f f v f f f f
Y Pero Sin embargo No obstante
Aunque Adems Mas aun
Disyuncin () Tabla Palabras clave p q p q v v v v f v f v v f f f
O O bien
Condicional () Tabla Palabras clave p q p q v v v v f f f v v f f v
Si p, entonces q Siempre que p, entonces q p es suficiente para que q p solo si q p implica q
q si p q siempre que p q es necesario para que p q es implicada por p
Bicondicional () Tabla Palabras clave p q p q v v v v f f f v f f f v
Si p, entonces q y si q, entonces p p si y solo si q
Precedencia