productos notables

CONECTIVOS LOGICOS

1. NEGACIÓN:
*Símbolos
Scholz ¬p
Peano-Russell p
Hilbert -A
Lukasiewicz Np

*Palabras usuales:
…no…, Nunca…, Jamás…, Es falso que…, No es posible que…, Es mentiraque…, No es cierto que…, De ninguna forma…, Es absurdo que…, etc.

*Tabla de verdad:
p p
V F
F V


2. CONJUNCIÓN:

*Símbolos:
Scholz p  q
Peano- Russell P. q
Hilbert A  B
Lukasiewicz Kpq*Palabras usuales:
...y…, …además…, …también…, ...sin embargo…, …no obstante…, …tal como…, …al igual que…, …así como…, …incluso..., …pero…, …aunque…, …a la vez…, etc.

*Tabla de verdad:p q p  q
V
V
F
F V
F
V
F V
F
F
F






3. DISYUNCIÓN INCLUSIVA:

*Símbolos:
Scholz p  q
Peano- Russell p  q
Hilbert A  B
Lukasiewicz Apq

*Palabras usuales:
…o…,…salvoque…, a menos
que…,…excepto que…, etc.

*Tabla de verdad:

p q p  q
V
V
F
F V
F
V
F V
V
V
F

4. DISYUNCION EXCLUSIVA:

*Símbolos:
Scholz p q

Peano- Russell p qHilbert A  B
Lukasiewicz Jpq

*Palabras usuales:
O...…. o…..., O bien… o bien…., O es que….. o es que...…, etc.

*Tabla de verdad:

p q p  q
V
V
F
F V
F
V
F F
V
V
F

5.implicacion material o condicional:
*Símbolos:
Scholz p  q
Peano- Russell p  q
Hilbert A  B
Lukasiewicz Cpq

*Palabras usuales:
Si.…entonces.....,..…por lo tanto.…, ….por consiguiente….,.…luego…, ....en consecuencia…., ....por ello.…, ….implica que…., …de modo que …, …es obvio que…, etc.

*Tabla de verdad:
p q p  q
V
V
F
F V
F
V
F V
F
V
V

6. Replica material:
*Símbolo:Scholz p  q

*Palabras usuales:
….si… siempre que …, …si es que…, debido a que…, …dado que…, …puesto que…, …ya que…, …porque…, etc.

*Tabla de verdad:
p q p  q
V
V
F
F V
F
V
F VV
F
V

7. Bicondicional o doble implicacion:

*Símbolos:
Scholz p  q
Peano- Russell p  q
Hilbert A  B
Lukasiewicz
Epq
*Palabras usuales:
...si y solo si…, siempre y...