Tabla de Verdad y Conectivos Logicos
-
Upload
horatio-cain -
Category
Documents
-
view
224 -
download
0
Transcript of Tabla de Verdad y Conectivos Logicos
-
8/19/2019 Tabla de Verdad y Conectivos Logicos
1/1
TABLA DE CONECTIVOS LÓGICOSCONECTIVO FUNCIÓN SÍMBOLO LECTURA
a) Conjunción Juntar,Agregar,
Adherir,(enunciados /no términos )
•
^
&
Y, pero, mas, también,mientras, un, sin embargo
Tanto…….como…… Aunque, además
b) Disyuncióni) Inclusiva
El uno o el otro oambos
ii) ExclusivaEl uno o el otro pero noambos
Presentar alternativas u opciones
La “o” en medio de las
proporciones simples.
Presenta una sola opción
La “o” antes de la primera
proposición y otra “o” en medio de
las proporciones.
v
v
A menos que, o,
Ni………ni……….. O bien…… o……. O bien……..a menos que……. O el uno ó el otro pero noambos
c) Condicional Presenta una reilación hipotéticaentre 2 o mas eventos que tenganuna secuencia lógica.Es necesario que ocurra “A”
(antecedente) para que suceda“B” (consecuencia)
Si ... entonces … Se sigue que,Implica que,Contiene a
d) Bicondicional Implica una relación de igualdad ode equivalencia
↔
Si y solo siEquivalente
La Negación Niega una preposición, cambia oinvierte el valor de verdad de una
proposición.
Es falso queNo es el caso que
No es cierto queNo ocurre queNo sucede que
Signos1. Agrupación
2. Puntuación
Determinan orden y prioridad delos términos
( ) { } [ ]
, . ;
Cuando existe una “coma”;“punto”, y “punto y coma”, aislarla expresión siguiente consignos de agrupación.
TABLAS DE VERDAD
Proposiciones Conjunción
v Disyunción
Inclusiva
vDisyunción
Exclusiva
→ Condicional
↔ Bicondicional Negación
pAntecedente qConsecuente p q p q p v q P → q p ↔ q P P
V V V V F V VV F
V F F V V F FF V F V V V F
F VF F F F F V V
Universidad Francisco GavidiaFacul tad de Ingeniería y Sistemas
Lógica Proposicional