Guia de Logica Facyt UC
1
UNIVERSIDAD DE CARABOBO ELEMENTOS DISCRETOS FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGÍA Noviembre de 2007 DEPARTAMENTO DE COMPUTACIÓN GRUPO DE MATEMÁTICAS DE LA COMPUTACIÓN Hecho Por: Kiara A. Ottogalli F. GUÍA DE LÓGICA CONECTIVOS LÓGICOS Negación (¬) Tabla Palabras clave p ¬p v f f v No No es cierto que Es falso que No es el caso que Conjunción (∧) 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 Además Mas aun Disyunción (∨) 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 ¬ ∧ ∨ → ↔
-
Upload
carlos-alberto-florio-luis -
Category
Documents
-
view
278 -
download
5
description
Guia de Logica, Facyt UC
Transcript of Guia de Logica Facyt UC
-
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
