Conectivo lógico “Condicional”

El condicional material, conocido como condicional, condicional funcional de verdad, o

imprecisamente confundido con la implicación material, es una conectiva lógica que conecta dos
proposiciones, representado usualmente A –> B. En lógica proposicional, el condicional material es
una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se
vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una
relación de subconjuntos entre la extensión de predicados (posiblemente complejos).

A diferencia del Español coloquial donde expresiones "si…, entonces..." implican causa y efecto, el
condicional material A –> B no establece convencionalmente una relación de causalidad entre sus
proposiciones. Es simplemente una expresión que asume un valor-verdad falso cuando,
simultáneamente, A es verdadero y B es falso.

Conectivo lógico “Bicondicional”

En algunos contextos en matemáticas y lógica, un bicondicional, (también llamado equivalencia o

doble implicación, en ocasiones abreviado en español como ssi) es un operador lógico binario, es
decir, una función <–> :B x B –> B}, siendo B cualquier conjunto con |B|=2, aunque es común que
se considere a B como B={V,F} o B={0,1}. El bicondicional también funge como conectivo lógico,
permitiendo formular expresiones de la forma «P si y solo si Q», que es verdadera en el caso de
que ambos componentes tengan el mismo valor de verdad. En otro contexto el bicondicional
representa la equivalencia lógica entre dos proposiciones.

El valor de verdad de un bicondicional «p si y solo si q» es verdadero cuando ambas proposiciones

(p y q) tienen el mismo valor de verdad, es decir, ambas son verdaderas o falsas simultáneamente;
de lo contrario, es falso.
Cuantificación Universal

Las proposiciones universalmente cuantificadas son aquellas que hablan de un grupo o conjunto

de todo o ninguno:

Afirmativa universal: Todos los humanos son mortales.

Negativa universal: Ningún humano es mortal.

Estas proposiciones tienen la forma del tipo “si… entonces”. Así, por ejemplo, cuando decimos que
“Todos los humanos son mortales” lógicamente estamos diciendo, “Si algo es un humano,
entonces es mortal”. Recordando en nuestra publicación anterior sobre la formalización de
proposiciones del tipo sujeto-predicado, podemos ahora simbolizar nuestra afirmativa universal de
la siguiente manera:

∀x (Hx  → Mx)

Que se lee “Para todo x, si x es un humano, entonces x es mortal”. De la misma forma,
simbolizamos nuestra negativa universal:

∀x (Hx → ¬Mx)

Que se lee “Para todo x, si x es un humano, entonces  x no es mortal”.

Cuantificación Existencial

Las proposiciones existencialmente cuantificadas son aquellas que hablan solo de algunos

mientras de un grupo o conjunto:

Afirmativa existencial: Algunos humanos son mortales.

Negativa existencial: Algunos humanos no son mortales.

Estas proposiciones nos dicen que existe al menos una cosa que tiene o carece de la propiedad en
cuestión y tienen la forma de conjunciones. Por ejemplo, la proposición “Algunos perros son
pastores alemanes” no está informando que hay al menos un objeto en el mundo que es a la vez
un perro y que es negro. Ahora podemos simbolizar nuestra afirmativa existencial:

∃x (Hx ^ Mx)
 Bibliografía

https://es.wikipedia.org/wiki/Condicional_material

https://es.wikipedia.org/wiki/Bicondicional

https://crossexamined.org/logica-09-cuantificacion-universal-y-existencial/