1. La lógica tiene como finalidad distinguir el
razonamiento correcto del incorrecto.

2. Un argumento es una secuencia o serie de
proposiciones en la que una de ellas, llamada
CONCLUSIÓN, se infiere o se obtiene de las PREMISAS.

3. La validez de los argumentos consiste en que las
premisas y la conclusión se encuentran lógicamente
estructuradas, sin importar si dicho argumento es
verdadero o falso.
Lo importante será
destacar la coherencia
lógica o formal y la
correcta aplicación de las
reglas y leyes que veremos
a continuación.

4. Si afirmamos como verdadero el antecedente en una
condicional, entonces tendremos como conclusión la
afirmación del consecuente.
1. SI Pedro es veracruzano, 1. p → q
ENTONCES es mexicano
2. Pedro es veracruzano 2. p
 
3. Pedro es mexicano 3. q

5. Cuando se niega el consecuente en una
condicional, debe negarse su antecedente.
1. SI Pedro es veracruzano, 1. p → q
ENTONCES es mexicano
2. Pedro NO ES mexicano 2. ~q
 
3. Pedro NO ES veracruzano 3. ~p

6. Si negamos uno de los enunciados en una proposición
disyuntiva (sea inclusiva o exclusiva), entonces el otro
necesariamente debe ser verdadero.
1. Pedro es veracruzano o 1. pq 1. Pedro es veracruzano o 1. pq
es morelense es morelense
2. Pedro NO ES veracruzano 2. ~p 2. Pedro NO ES morelense 2. ~q
   
3. Pedro ES morelense 3. q 3. Pedro ES veracruzano 3. p

7. Cuando el antecedente de un condicional es también el
consecuente de otro, se puede inferir que el
antecedente de ese otro, es también el antecedente del
primero.
1. SI Pedro es veracruzano, 1. p → q
ENTONCES es mexicano
2. SI Pedro es mexicano, 2. q → r
ENTONCES habla español
 
3. SI Pedro es veracruzano, 3. p → r
ENTONCES habla español

8. Si dos enunciados aparecen como premisas, se puede
inferir la conjunción de los dos enunciados.
1. Pedro es veracruzano, 1. p
2. Pedro es mexicano 2. q
 
3. Pedro es veracruzano y es 3. p  q
mexicano

9. Si tenemos dos enunciados unidos por una
conjunción, se puede inferir como válido cualquiera de
los dos enunciados.
1. Pedro es veracruzano y es 1. pq 1. Pedro es veracruzano y es 1. pq
mexicano mexicano
   
2. Pedro es veracruzano 2. p 2. Pedro es mexicano 2. q

10. Si tenemos un enunciado cualquiera podemos
adicionarle o agregarle otro enunciado, siempre y
cuando se conecte mediante una disyunción.
1. Pedro es veracruzano 1. p
 
2. Pedro es veracruzano o es 2. p  q
mexicano