LÓGICA

Son métodos de razonamiento que no aceptan conclusiones erróneas.

Proposición: es una unidad semántica que, o sólo es verdadera o sólo es falsa. Puede ser calificada con precisión, sin
ambigüedad (interpretación de diversas formas), ni subjetivismo.

NO SON PREPOSICIÓNES: oraciones imperativas (exhortar, incitar o mandar); oraciones exclamativas (expresan
emociones o sentimientos); interrogativas (¿?).

OPERADORES LOGICOS

Negación: no, ni, no es verdad que, no es cierto que.

Conjunción: y, pero, más, (,), (.), (;).

Disyunción: o.

Disyunción exclusiva: o, o sólo, o solamente, (o, … o, …).

Condicional o enunciación hipotética: (si a, entonces b), (a sólo si b), (a solamente si b), (b si a), (si a, b), (b con la
condición de que a), (b cuando a), (b siempre que a), (b cada vez que a), (b ya que a), (b debido a que a), (b puesto
que a), (b porque a), (se tiene b si se tiene a), (sólo si b, a), (b, pues a), (cuando a, b), (los a son b), (a implica b), o
cualquier expresión que denote causa y efecto.

Condicional reciproca: b  a

Condicional inversa: -a  -b

Condicional contrarrecíproca: -b  -a

Bicondicional: (a si y sólo si b), (a si y solamente si b), (a implica b y b implica a), (a cuando y sólo cuando b)

Implicación lógica: se dice que A implica lógicamente a B, si y sólo si A  B es una tautología.

Equivalencia Lógica: es equivalente A y B, si y sólo si A  B es tautología.

CONJUNTOS

Comprensión: característica de los elementos

Extensión o tabulación: cuando se listan