c
p


p

p: es la parte de la lógica que estudia los argumentos formalmente válidos, es

decir, aquellos en los que premisas verdaderas conducen necesariamente a una conclusión
verdadera.

ŒŒ


 

 



 










c c: aquella en la que la conclusión se sigue necesariamente de las

premisas. En estos razonamientos si las premisas son verdaderas, la conclusión también lo
será.

ŒŒ







c  c: la conclusión no se sigue de forma necesaria de las premisas,
sino de forma probable. Las premisas hacen que la conclusión sea posiblemente verdadera,
pero no aseguran que sea así.

ŒŒ 

 

p

cc: Ésta discusión indica que si una primera premisa implica una
conclusión, y una segunda premisa implica una segunda, la conclusión separada, y si una de las
conclusiones debe ser falsa, una de las premisas debe ser falsa.

ŒŒ
!"


#$
% 

&
'


"


#$
% 
(!$
&
'


$
% 
!"


&
'


"



%

p 
 



ALa negación de la disyunción es equivalente a la conjunción de las negaciones.

ŒŒ)
*
  



)
#
#  

ALa negación de la conjunción es equivalente a la disyunción de las negaciones

ŒŒ)
*


"
"






"
"
 

X 

  Afirmación que puede ser verdadera o falsa. En Filosofía es el
significado que expresa un enunciado.

Mónica Andrea Arriola Díaz

1ºB Bachillerato [ARTES]
IES ͞Conde de Orgaz͟