CONTRASECCIÓN
Al unirse dos proposiciones simples “p” y “q” mediante el conector lógico ↖ (pero no), se obtiene la
proposición compuesta “p↖q” (p pero no q) denominada contrasección.
Ejemplo: Dadas las siguientes proposiciones:
Asociando ambas proposiciones con el conector lógico “↖” (pero no).
La proposición compuesta contraseccion es “V” (verdadera) cuando la primera proposición simple
es “V” (verdadera) y la segunda es “F” (falsa), para las demás combinaciones lógicas es “F” (falsa),
esto se resumen en la propiedad fundamental de la contrasección citada a continuación:
SUBSECCIÓN
Las proposiciones simples “p” y “q” se pueden asociar mediante el conector lógico “↙” (No…sino), y
formar la proposición compuesta “p↙q” (No p sino q) llamada subsección.
Ejemplo:
Dadas las siguientes proposiciones:
Asociando ambas proposiciones con el conector lógico “↙” (No…sino).
La propiedad fundamental de la subsección indica que esta proposición compuesta es “V”
(verdadera) cuando la primera proposición simple es “F” (falsa) y la segunda proposición es “V”
(verdadera), para las demás combinaciones es “F” falsa, según la siguiente tabla.
EXTERSECCIÓN(NEGACIÓN CONJUNTA)
Cuando dos proposiciones simples “p” y “q” se unen mediante el conector lógico “↓” (Ni…ni…), se
obtiene la proposición compuesta “p↓q” (ni p ni q) denominada extersección.
Ejemplo:
Dadas las siguientes proposiciones:
Asociando ambas proposiciones con el conector lógico “↓” (Ni…ni).
La proposición compuesta extersección es “V” (verdadera) cuando ambas proposiciones simples
son “F” (falsas), para las demás combinaciones es “F” (falsa), la propiedad fundamental de esta
proposición está dada por.
SUBDISYUNCIÓN
Cuando dos proposiciones simples “p” y “q” se asocian mediante el conector lógico “←” (No…
entonces) forman la proposición compuesta “p←q” (no p entonces q) denominada subdisyunción.
Ejemplo:
Dadas las siguientes proposiciones:
Asociando ambas proposiciones con el conector lógico “←” (No…entonces).
Esta proposición compuesta es “F” (falsa) cuando la primera proposición es “F” (falsa) y la segunda
es “V” (verdadera), para las demás combinaciones es “V” (verdadera), como se muestra en la
siguiente propiedad fundamental.
INTERDISYUNCIÓN (NEGACIÓN ALTERNATIVA, BARRA DE SCHAFFER)
Al asociarse dos proposiciones simples “p” y “q” por medio del conector lógico “↑” (No…tampoco), se
forma la proposición compuesta “p↑q” (no p tampoco q), llamada interdisyunción.
Ejemplo:
Dadas las siguientes proposiciones:
Asociando ambas proposiciones con el conector lógico “↑” (No…tampoco).
Esta proposición compuesta es “F” (falsa) cuando ambas proposiciones son “V” (verdaderas), para
las demás combinaciones es “V” (verdadera), como se muestra en la siguiente propiedad
fundamental.