Vous êtes sur la page 1sur 1

OPERACIONES PROPOSICIONALES CONECTIVOS LGICOS

SMBOLO OPERACIN LGICA ESQUEMA SIGNIFICADO PALABRAS EQUIVALENTES


pero, sin embargo, no obstante, aunque, incluso, tambin,
;&;
v v
Conjuncin o conjuntor p q pyq as como, al igual que, tal como, a la vez, de la misma
forma, adems, e, igualmente, a pesar de, sino
Disyuncin dbil o
v;+ p v q poq y/o
inclusiva
Disyuncin fuerte o
v ;;; pv q opoq a menos que, salvo que
exclusiva
(p q): luego, por lo tanto, por consiguiente, en
Condicional o conclusin, cuando
; => ; pq si p, entonces q

implicacin (q p): porque, cada vez que, dado que, puesto que, de
ah que, ya que, si
cuando y slo cuando, entonces y solamente entonces, si
Bicondicional o doble y solamente si, cuando y solamente cuando, entonces y
; => ; ; pq
>
p, si y slo si q
implicacin slo entonces, es conviccin necesaria y suficiente, es
equivalente a, es lo mismo que, es idntico, sii
(cuando afecta a una proposicin compuesta): no es
verdad que, es falso que, no ocurre que, no es el caso que,
;; Negacin p no p
no es cierto que, no es posible que, es mentira que, es
imposible que, es inaccesible que
Negacin alterna o
;/ p q no p o no q
Barra de Nicond
Negacin conjunta o
pq ni p ni q
Funcin Sheffer

OPERACIONES PROPOSICIONALES CONECTIVOS LGICOS

SMBOLO OPERACIN LGICA ESQUEMA SIGNIFICADO PALABRAS EQUIVALENTES


pero, sin embargo, no obstante, aunque, incluso, tambin,
;&;
v v
Conjuncin o conjuntor p q pyq as como, al igual que, tal como, a la vez, de la misma
forma, adems, e, igualmente, a pesar de, sino
Disyuncin dbil o
v;+ p v q poq y/o
inclusiva
Disyuncin fuerte o
v ;;; pv q opoq a menos que, salvo que
exclusiva
(p q): luego, por lo tanto, por consiguiente, en
Condicional o conclusin, cuando
; => ; pq si p, entonces q

implicacin (q p): porque, cada vez que, dado que, puesto que, de
ah que, ya que, si
cuando y slo cuando, entonces y solamente entonces, si
Bicondicional o doble y solamente si, cuando y solamente cuando, entonces y
; => ; ;
>
pq p, si y slo si q
implicacin slo entonces, es conviccin necesaria y suficiente, es
equivalente a, es lo mismo que, es idntico, sii
(cuando afecta a una proposicin compuesta): no es
verdad que, es falso que, no ocurre que, no es el caso que,
;; Negacin p no p
no es cierto que, no es posible que, es mentira que, es
imposible que, es inaccesible que
Negacin alterna o
;/ p q no p o no q
Barra de Nicond
Negacin conjunta o
pq ni p ni q
Funcin Sheffer