CONECTIVOS LGICOS

Los conectivos lgicos, llamados tambin

operadores, son smbolos del lenguajes formal
que reemplazan a los conectivos gramaticales y
al adverbio de negacin no.
OPERACIN
LGICA
CONECTIVO
LGICO
ESQUEMA
Negacin
~
~p
Conjuncin
^
P ^ q
Disyuncin
Inclusiva

v
P v q
Disyuncin
Exclusiva
v
P v q

Condicional P q
Bicondicional P q
TABLAS DE VERDAD

A continuacin se representan en tablas
los valores de verdad que podran tomar
las proposiciones

NEGACIN (p).- Este operador permite cambiar el valor de
verdad de las proposiciones.







Los trminos gramaticales ms usados son: NO, NO ES VERDAD,
NO ES CIERTO QUE, NI.






Los trminos gramaticales ms usados son: Y, PERO, MAS (sin
tilde), SIN EMBARGO, ADEMS, AUNQUE, A LA VEZ,
TAMBIN y los signos de puntuacin: coma, punto y coma, y
punto.

CONJUNCIN (pq).- Este operador solo es VERDADERO
cuando las dos proposiciones son VERDADERAS, en otro
caso, es FALSA.

DISYUNCIN (pvq).- Este operador solo es FALSO cuando
las dos proposiciones son FALSAS, en otro caso, es
VERDADERA.









Los trminos gramaticales ms usados son: O


DISYUNCIN EXCLUSIVA (p v q).- Este operador es
FALSO cuando las dos proposiciones son FALSAS o
VERDADERAS, en otro caso, es VERDADERO.






Los trminos gramaticales ms usados son: OO



CONDICIONAL (pq).- Este operador solo es FALSO
cuando la primera proposicin es VERDADERA, y la segunda
es FALSA, en otro caso, es VERDADERA.













Los trminos gramaticales ms usados son:
S p, q cuando p, q solo si q, p
S p, entonces q q, si p q, pues p
p solo si q q con la condicin de p se tiene q, si se tiene p
p solamente si q q cuando p q puesto que p
p implica q q siempre que p q porque p
los p son q p por lo tanto q q debido a que p





BICONDICIONAL (pq).- Este operador es VERDADERO
cuando las dos proposiciones son VERDADERAS o FALSAS, en
otro caso, es FALSO.







Los trminos gramaticales ms usados son: p si y solo si q, p si y
solamente q, p implica q y q implica p, p cuando y solo cuando q,
p es igual a q, p entonces y solo entonces q.