Directa: p implica q.
Reciproca: q implica p
Inversa: no p implica no q
Contrapositiva: no q implica no p
Conectiva | Expresión en el lenguaje natural | Ejemplo | Símbolo en este artículo | Símbolos alternativos |
---|---|---|---|---|
Negación | no | No está lloviendo. | ||
Conjunción | y | Está lloviendo y está nublado. | ||
Disyunción | o | Está lloviendo o está soleado. | ||
Condicional material | si... entonces | Si está soleado, entonces es de día. | ||
Bicondicional | si y sólo si | Está nublado si y sólo si hay nubes visibles. |