UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE INGENIERIA
MATEMATICA DE CÓMPUTO 1 SECCION A
1er semestre, junio 2022

Lic. Carlos Augusto Morales Santacruz

Contenido

Breve historia de la Lógica simbólica

Introducción al concepto de proposición simple
Definición de proposición simple
Introducción al concepto de proposición compuesta
Definición de conectivos lógicos y sus tablas
Definición de proposición compuesta
Tablas de verdad
Construcción de tablas de verdad
Concepto de tautología
Concepto de contradicción
Concepto de contingencia
Concepto de equivalencia lógica
Tabla de equivalencias lógicas
Demostración de las reglas de la lógica por tablas de verdad
Demostración de las reglas de la lógica aplicando otras reglas
Analogía entre reglas
Proposición abierta simple
Proposición abierta compuesta
Proposiciones cuantificadas
Definición de argumento o inferencia lógica
Definición de argumento correcto o válido
Demostración de argumentos correctos por tablas
Demostración de argumentos correctos por aplicación de otros argumentos
correctos
Elementos de la demostración en matemáticas
Métodos de demostración en matemáticas
Ejemplos de demostraciones
 Lógica

La lógica se define como la forma correcta de razonar, la lógica es la ciencia

del razonamiento.

La lógica se origina hace casi 25 siglos en la Antigua Grecia, con la cultura

Megárica – Estóica y especialmente con Aristóteles. La Lógica de
Aristóteles gobernó durante siglos el quehacer científico y se mantuvo casi
sin cambios durante estos siglos, en palabras del filósofo alemán Kant:

…desde Aristóteles no ha tenido que dar un paso atrás, ni tampoco hasta

ahora ha podido dar un paso adelante. Así pues, según toda apariencia,
hallase conclusa y perfecta

Cincuenta años después de esta afirmación, en el siglo XIX, el famoso

matemático Inglés George Boole, se da cuenta de algunas deficiencias de la
Lógica Aristotélica creando una nueva teoría. Boole es considerado el primer
lógico moderno, después se han inventado y desarrollado ampliamente otras
clases de Lógica por otros lógicos famosos, como por ejemplo: La Lógica
polivalente y la Lógica fuzzy.

Introducción al concepto de proposición simple:

Veamos algunos ejemplos de proposiciones simples y después de examinar

su estructura vamos a dar una definición

1) Miguel Asturias nació en Guatemala

2) 16 es un número impar

3) Escuintla es un país

4) {0,1} es un conjunto finito

5) 12 es divisible por 4

6) El 16 de octubre de 2096 es martes

7) 17 es un número primo

8) 24 es una letra
Observamos en estos ejemplos que cada expresión tiene un sujeto y un
predicado, el predicado es lo que se dice del sujeto, también cada expresión
es verdadera ó falsa. En la lógica de Aristóteles también llamada lógica
bivalente solamente se tienen dos valores de verdad, que son:

FALSO, escrito así: F, 0

VERDADERO: escrito así: V, 1

Ahora vamos a asignar a cada expresión, su valor de verdad

correspondiente

1) Miguel Asturias nació en Guatemala (verdadero)

2) 16 es un número impar (falso)

3) Escuintla es un país (falso)

4) {0,1} es un conjunto finito (verdadero)

5) 12 es divisible por 4 (verdadero)

6) El 16 de octubre de 2096 es martes (verdadero)

7) 17 es un número primo (verdadero)

8) 24 es una vocal del alfabeto castellano (falso)

Definición de proposición simple ( también llamada atómica o primitiva)

Una proposición simple es una expresión con sentido completo, sin

variables, siendo verdadera ó falsa.

otra segunda definición correcta es que una proposición simple es un

enunciado declarativo. Las proposiciones simples son denotadas así:

p, q, r, s, …

Introducción al concepto de proposición compuesta

De nuevo veamos ejemplos de proposiciones compuestas y examinaremos
su estructura:

1) Escuintla es un país y 24 es una vocal del alfabeto castellano

2) Si 12 es divisible por 4 entonces 17 es un número primo

3) Miguel Asturias nació en Guatemala o √ 2 es irracional

4) 7 es positivo siempre y cuando 1 es primo

5) 16 es par ó 16 es impar

Observamos que en estas expresiones en Español, se tienen proposiciones

simples conectadas por los términos en color rojo llamados conectivos
lógicos.

Pregunta: Qué es un conectivo lógico

Pregunta: Cuántos conectivos lógicos existen

Estudiemos ahora la notación y nombre para algunos conectivos lógicos:

Español nombre notación

y conjuntor
conjunción ∧, ∙ , 

o disyuntor
disyunción ∨ ,+ ,

si…entonces condicional
implicación ⟹,→

siempre y cuando bicondicional ⟺,⟷

si y sólo si doble implicación

no negación ¬
inversor

Definición de conectivos lógicos:

Un conectivo lógico es un operador, es decir, una función, que transforma
parejas ordenadas de ceros o unos en cero ó uno.
Recordemos que el cero denota el valor de verdad Falso y uno denota el
valor de verdad Verdadero.
Nota: Los conectivos lógicos fueron definidos así hace casi 25 siglos

Ahora vamos a estudiar la famosa Tabla Universal de los conectivos lógicos,

sean p, q ambas proposiciones simples
p q m0 m1 m2 m3 m4 m5 m6 m7 m8 m9 m10 m11 m12 m13 m14 m15
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

aquí están los 16 conectivos lógicos que existen son llamados también
conectivos lógicos binarios y junto con el conectivo negación que es un
conectivo unario, es decir, solo transforma un único valor de verdad en otro,
se tienen en total 17 conectivos lógicos.

Algunos conectivos son más empleados que otros, vamos a definir cada uno
por su correspondiente tabla

conectivo: negador

p ¬p
0 1
1 0

conectivo: y, and (conjuntor)

p q p ∧q
0 0 0
0 1 0
1 0 0
1 1 1

conectivo: o, or (disyunción)

p q p ∨q
0 0 0
0 1 1
1 0 1
1 1 1

conectivo: ⟹ (implicación, condicional)

p q p⟹q
0 0 1
0 1 1
1 0 0
1 1 1

conectivo: ⟺ (doble implicación, bicondicional)

p q p⟺q
0 0 1
0 1 0
1 0 0
1 1 1

siendo los conectivos lógicos definidos como funciones, entonces se puede

realizar la composición de conectivos por ejemplo así:

la composición de la negación con and, define al conectivo llamado nand,

es decir, ¬ ( p ∧q ) es p nand q

p q p ∧q p nand q
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0

la composición de la negación con or, define al conectivo llamado nor, es

decir, ¬ ( p ∨q) es p nor q

p q p ∨q p nor q
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0

la composición de la negación con el conectivo si y sólo si, define al

conectivo llamado xor, es decir, ¬ ( p ⟺ q) es p xor q

p q p⟺q p xor q
 0 0 1 0
0 1 0 1
1 0 0 1
1 1 1 0

ahora vamos a estudiar la definición de proposición compuesta

Proposición compuesta
Es una expresión formada por proposiciones simples conectadas
empleando los conectivos lógicos, siendo verdadera ó falsa.

La asignación de los valores de verdad a una proposición compuesta es

realizada en términos de la definición de cada conectivo.

Veamos como asignar valores de verdad a los ejemplos de proposiciones

compuestas.

1) Escuintla es un país y 24 es una vocal del alfabeto castellano

0 ∧ 0
0

2) Si 12 es divisible por 4 entonces 17 es un número primo

1 ⟹ 1
1

3) Miguel Asturias nació en Guatemala o √ 2 es irracional

1 ∨ 1
1

4) 7 es positivo siempre y cuando 1 es primo

1 ⟺ 0
0

5) 16 es par ó 16 es impar
 1 xor 0
1

Las proposiciones compuestas son denotadas así:

P, Q, R, S, …

Para cualquier proposición compuesta P, también se construye sus tabla de

verdad, es decir, una tabla donde están tabulados todos los valores de
verdad de las n proposiciones simples que forman a la proposición
compuesta P

Si la proposición compuesta tiene n proposiciones simples que la

componen, entonces el número de filas en la tabla es
n
2

veamos algunos ejemplos de la construcción de tablas de verdad

ejemplo
Construir las tablas de verdad de:

a) ( p ∧q) ∨¬(r nor s)

b) ( p ⟹ q)⟺ (¬q ⟹ ¬ p)

c) ( p ⟹ q)∧ ( p ∧¬ q)

solución

a) n = 4 es el número de proposiciones simples que componen a

( p ∧q) ∨¬(r nor s) , entonces el número de filas de la tabla de verdad es 24 =16

p q r s p ∧q r nor s ¬(r nor s) ( p ∧q)∨¬(r nor s)

0 0 0 0 0 1 0 0
0 0 0 1 0 0 1 1
0 0 1 0 0 0 1 1
0 0 1 1 0 0 1 1
0 1 0 0 0 1 0 0
 0 1 0 1 0 0 1 1
0 1 1 0 0 0 1 1
0 1 1 1 0 0 1 1
1 0 0 0 0 1 0 0
1 0 0 1 0 0 1 1
1 0 1 0 0 0 1 1
1 0 1 1 0 0 1 1
1 1 0 0 1 1 0 1
1 1 0 1 1 0 1 1
1 1 1 0 1 0 1 1
1 1 1 1 1 0 1 1

( p ∧q) ∨¬(r nor s) es una proposición que en unas filas es verdadera y en otra
filas es falsa, es un ejemplo de contingencia

b) n = 2 es el número de proposiciones simples que componen a

( p ⟹ q)⟺ (¬q ⟹ ¬ p), entonces el número de filas de la tabla de verdad es 22
=4

p q p⟹q ¬q ¬p ¬ q ⟹¬ p ( p ⟹ q)⟺ (¬q ⟹ ¬ p)

0 0 1 1 1 1 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 1 1 0 0 1 1

( p ⟹ q ) ⟺ (¬ q ⟹ ¬ p ) es una proposición compuesta que siempre es

verdadera, es un ejemplo de tautología

c) n = 2 es el número de proposiciones simples que componen a

( p ⟹ q)∧ ( p ∧¬ q), entonces el número de filas de la tabla de verdad es 22= 4

p q p⟹q ¬q p ∧¬ q ( p ⟹ q)∧ ( p ∧¬ q)
0 0 1 1 0 0
0 1 1 0 0 0
1 0 0 1 1 0
1 1 1 0 0 0
( p ⟹ q)∧ ( p ∧¬ q) es una proposición compuesta que siempre es falsa, es un
ejemplo de contradicción

Ahora estudiamos las definiciones de tautología, contradicción y

contingencia

Tautología: es una proposición compuesta que siempre es verdadera

ejemplo: p ∨¬ p

Contradicción: es una proposición compuesta que siempre es falsa

ejemplo: p ∧¬ p

Contingencia: es una proposición compuesta que no es tautología ni

contradicción

Ahora vamos a estudiar el concepto de equivalencia lógica

Las proposiciones compuestas P, Q son lógicamente equivalentes cuando

P⟺ Q es una tautología.

Cuando las proposiciones compuestas P, Q son lógicamente equivalentes,

significa que ambas toman el mismo valor de verdad simultáneamente, es
decir, si una es verdadera la otra es verdadera y si una es falsa la otra es
falsa también, así:

P Q P⟺ Q
1 1 1
0 0 1

Para demostrar que las proposiciones compuestas P, Q son lógicamente

equivalentes se construye su tabla de verdad y observamos si es una P⟺ Q
tautología

Otra forma de demostrar que las proposiciones compuestas P, Q son

lógicamente equivalentes consiste en la aplicación de otras equivalencias
lógicas demostradas previamente.

Ahora vamos a estudiar una lista de las equivalencias lógicas famosas, esta
tabla está disponible en los documentos publicados del curso.
Demostración por tablas de algunas equivalencias lógicas

ejemplos
Utilice tablas de verdad para demostrar las equivalencias lógicas:

a) ¬( p ∨q)⟺(¬ p ∧¬ q) Ley de DeMorgan

b ¿( p ⟺ q)⟺ [ ( p ⟹ q)∧(q ⟹ p) ]

solución:

p q ¬( p ∨q) ¬p ¬q (¬ p ∧¬ q) ¬( p ∨q) ⟺(¬ p ∧¬ q)

0 0 1 1 1 1 1
0 1 0 1 0 0 1
1 0 0 0 1 0 1
1 1 0 0 0 0 1

p q p⟺q p⟹q q⟹ p ( p ⟹ q)∧(q ⟹ p)

0 0 1 1 1 1
0 1 0 1 0 0
1 0 0 0 1 0
1 1 1 1 1 1

( p ⟺ q ) ⟺ [ ( p ⟹ q)∧(q ⟹ p) ]
1
1
1
1

Demostración de algunas equivalencias lógicas aplicando otras

equivalencias lógicas

ejemplo1
Utilice las equivalencias lógicas para expresar el conectivo nor en términos
del conectivo nand

Demostración:

por definición de nor:

( p nor q)⟺¬( p ∨q)

aplicando la Ley de Morgan

 ( p nor q)⟺(¬ p ∧¬ q)
aplicando la doble negación
( p nor q) ⟺¬ ¬( ¬ p ∧¬q)

por definición de nand

( p nor q) ⟺¬(¬ p nand ¬q)

aplicando la idempotencia

( p nor q) ⟺¬(¬ ( p ∧ p ) nand ¬ ( q ∧ q ) )

por definición de nand

( p nor q ) ⟺ ¬ ( ( p nand p ) nand ( q nand q ) )

aplicando la idempotencia
( p nor q ) ⟺ ¬ [ ( ( p nand p ) nand ( q nand q ) ) ∧ ( ( p nand p ) nand ( q nand q ) ) ]

por definición de nand

( p nor q ) ⟺ [ ( ( p nand p ) nand ( q nand q ) ) nand ( ( p nand p ) nand ( q nand q ) ) ]

ejemplo 2
Utilice equivalencias lógicas para demostrar la equivalencia lógica

llamada regla de absorción

Demostración
Para cualquier tautología t
p ⟺ p ∧t

p ⟺ p ∧( ( p ∨q ) ∨¬ ( p ∨ q ) )
aplicando la distributividad
p⟺¿
p⟺¿
p⟺¿
p ⟺ p ∧ ( p ∨ q)
ejemplo 3
la demostración de las leyes de DeMorgan aplicando otras equivalencias
lógicas está disponible en las publicaciones correspondientes al curso.

Pregunta: Existen relaciones entre los conectivos lógicos

Respuesta: Si, es decir, un conectivo se expresa en términos de otros
ejemplos

cualquier conectivo es expresado solamente en términos de nand

cualquier conectivo es expresado solamente en términos de nor
cualquier conectivo es expresado solamente en términos de la negación y la
implicación (Łukasiewicz)

Analogía entre reglas

La analogía se define como una relación de semejanza, es decir, entre dos
objetos se aprecian similitudes o no.
La analogía es poderosa y peligrosa, porque si en un universo o teoría
matemática se tiene una regla no significa que en otro universo esa misma
regla sea correcta.

ejemplos
Teoría Regla nombre
Álgebra a ( b+ c )=ab+ ac factor común
Lógica p ∧ ( q ∨ r ) ⟺ (p ∧ q)∨( p ∧r ) distributividad
Conjuntos A ∩( B ∪C)=( A ∩ B) ∪( A ∩C ) distributividad
lógica p ∨ ( q ∧ r ) ⟺ (p ∨ q)∧( p ∨r ) distributividad
álgebra de a+ bc=( a+b)(a+ c) distributividad
Boole

Concepto de proposición abierta simple

Estudiemos las siguientes proposiciones simples

1) 24 es par verdadero

2) 16 es par verdadero

3) 67 es par falso

4) 9 es par falso

5) 2 es par verdadero
observamos que el predicado es el mismo y el valor de verdad de cada
proposición simple depende del sujeto, todas estas proposiciones
corresponden a una estructura de esta forma:

x es par

siendo un ejemplo de proposición abierta simple sin conocer su valor de

verdad.

Proposición abierta simple: es una expresión con variables que se

transforma en una proposición simple cuando son asignados valores a las
variables involucradas

ejemplos:

x es primo
xy es divisible por 5
T es una matriz simétrica
Proposición abierta compuesta
Es una expresión formada por proposiciones abiertas simples conectadas
empleando conectivos lógicos

ejemplos
x es primo∨T es una matriz simétrica
x + y + z =1 ∧ 5 x+ 3 y −z=0
2 2 2

las proposiciones abiertas simples son denotadas así:

p ( x ) , q ( x ) ,r ( x ) ,…
p ( x , y ) , q ( x , y ) ,r ( x , y ) , …
las proposiciones abiertas compuestas son denotadas así:

P ( x) , Q ( x ) , R ( x ) , …
P ( x , y ) ,Q ( x , y ) , R ( x , y ) , …

NOTA: Todas las equivalencias lógica son aplicadas a proposiciones

abiertas, por ejemplo:
[ p ( x ) ⟹ q ( x ) ] ⟺ [ ¬q ( x ) ⟹¬ p ( x ) ]
Proposiciones cuantificadas
En el lenguaje español, “existe” se escribe en matemáticas así:

siendo llamado el cuantificador existencial

En el lenguaje español, “para todos” se escribe en matemáticas así:

siendo llamado el cuantificador universal

la estructura de las proposiciones cuantificadas es así:

∃ x ∈ U , p( x)
∀ x ∈ U , q(x )

donde U es un conjunto no vacío llamado Universo de discurso o

simplemente Universo.

ejemplos
∃ x ∈ R , x 2−1=0 verdadero
∃ x ∈ N ,5 x ←2 falso
Existen matrices que no tienen inversa verdadero

∀ x ∈ R , x 2 ≥0 verdadero
∀ x ∈ N , x es impar falso
Todos los polinomios son funciones continuas verdadero

Las proposiciones cuantificadas son empleadas en los enunciados y

demostraciones de Teoremas

Ahora vamos a estudiar la negación de las proposiciones cuantificadas

¬ [∃ x ∈ U , p( x)]⟺ [ ∀ x ∈ U ,¬ p (x)]
¬ [ ∀ x ∈ U , q(x )]⟺ [∃ x ∈ U ,¬ q( x)]

ejemplos

¬ [ ∃ x ∈ R , x 2−1=0 ]⟺ [ ∀ x ∈ R , x 2−1 ≠ 0 ]
¬ [ ∃ x ∈ N ,5 x ←2 ]⟺ [ ∀ x ∈ N , 5 x ≥−2 ]

¬ (Existen matrices que no tienen inversa) ⟺ (Todas las matrices tienen

inversa)

¬ [ ∀ x ∈ R , x 2 ≥0 ]⟺ [ ∃ x ∈ R , x 2 <0 ]

¬ [ ∀ x ∈ N , x es impar ]⟺ [ ∃ x ∈ N , x es par ]

¬ (Todos los polinomios son funciones continuas) ⟺ (Existen polinomios

que no son funciones continuas)
 ¬ [ ∀ x ∈ U , p( x)∨ q(x )]⟺ [ ∃ x ∈ U ,¬ p (x)∧¬ q( x ) ]

La famosísima Propiedad Arquimediana se escribe así:

∀ x ∈ R, ∃ n ∈ N , x <n
negando:

¬ [ ∀ x ∈ R, ∃ n ∈ N , x <n]⟺ [ ∃ x ∈ R, ∀ n ∈ N , x ≥ n]

Ahora vamos a estudiar el concepto de Argumento:

Un argumento es de la forma: ( p1 ∧ p2 ∧ p 3 ∧ …∧ p n)⟹ q donde p1 , p2 , p 3 , … , pn

son proposiciones llamadas hipótesis (premisas, antecedentes) y q es una
proposición llamada conclusión (tesis, consecuente)

otra forma de escribir argumentos es así:

p1
p2
p3
…
pn
∴q

donde el símbolo ∴ se lee como: por lo tanto, es decir, es llamado el

deductor.

Argumento correcto
El argumento ( p1 ∧ p2 ∧ p 3 ∧ …∧ p n) ⟹ q es un argumento correcto cuando
( p1 ∧ p2 ∧ p 3 ∧ …∧ p n)⟹ q es una tautología, es decir, es imposible que las
premisas sean verdaderas y la conclusión sea falsa.

Los argumentos correctos también son llamados argumentos válidos o

reglas de inferencia.

Inferencia significa la deducción o extracción de conclusiones.

Cuando ( p1 ∧ p2 ∧ p 3 ∧ …∧ p n)⟹ q no es una tautología, se dice que el
argumento ( p1 ∧ p2 ∧ p 3 ∧ …∧ p n)⟹ q es un argumento incorrecto o no válido.
Veamos este concepto en la tabla:

p1 ∧ p 2 ∧ p 3 ∧ …∧ p n q ( p1 ∧ p2 ∧ p 3 ∧ …∧ p n)⟹ q
0 0 1 Argumento correcto
0 1 1 Argumento correcto
1 0 0 Argumento incorrecto
1 1 1 Argumento correcto

ejemplos de argumentos correctos

método de separación
p⟹q
p
∴q

transitividad de la implicación

p⟹q
q⟹r
∴ p⟹r

ejemplo de argumento incorrecto:

p⟹q
∴q

Pregunta: cómo demostrar que un argumento es correcto

Respuesta:
 examinando en la tabla de verdad de ( p1 ∧ p2 ∧ p 3 ∧ …∧ p n ) ⟹q , si
( p1 ∧ p2 ∧ p 3 ∧ …∧ p n)⟹ q es una tautología

 aplicando otros argumentos correctos

Ahora vamos a estudiar los ejemplos

ejemplo 1
Utilice tablas de verdad para demostrar que
p⟹q
p
∴q
es un argumento correcto
solución:

p2 p1 p1 ∧ p 2 ( p1 ∧ p 2)⟹ q
p q p⟹q ( p ⟹ q)∧ p [ ( p ⟹ q)∧ p ]⟹ q
0 0 1 0 1
0 1 1 0 1
1 0 0 0 1
1 1 1 1 1

ejemplo 2
Utilice tablas de verdad para demostrar que
p⟹q
q⟹r
∴ p⟹r
es un argumento correcto

solución:

p1 p2 p1 ∧ p 2 q
p q r p⟹q q⟹r ( p ⟹ q)∧(q ⟹ r ) p ⟹r
0 0 0 1 1 1 1
0 0 1 1 1 1 1
0 1 0 1 0 0 1
0 1 1 1 1 1 1
1 0 0 0 1 0 0
1 0 1 0 1 0 1
1 1 0 1 0 0 0
1 1 1 1 1 1 1

( p1 ∧ p2)⟹ q
( p ⟹ q)∧(q ⟹ r )⟹ ( p ⟹ r )
1
 1
1
1
1
1
1
1
ejemplo 3
Utilice tablas de verdad para demostrar que

p⟹q
∴q

es un argumento incorrecto

q p1 p1 ⟹ q
p q p⟹q ( p ⟹ q)⟹ q
0 0 1 0 Argumento incorrecto
0 1 1 1 Argumento correcto
1 0 0 1 Argumento correcto
1 1 1 1 Argumento correcto

Ahora tenemos una lista de los argumentos correctos o reglas de inferencia

también llamadas implicaciones lógicas que están disponibles en las
publicaciones del curso en línea.

Ahora vamos a emplear a otros argumentos correctos para demostrar que

otros argumentos son correctos

ejemplo 1
Utilice el método de separación para demostrar que el método de la
negación

p⟹q
¬q
∴¬ p

es un argumento correcto
Demostración

Por conveniencia el método de separación, se escribe así:

A⟹B
A
∴B

aplicando la equivalencia lógica de la contrapositiva, se tiene

( p ⟹ q)⟺ (¬q ⟹ ¬ p)

Aplicando el método de separación sustituyendo A por ¬ q , B por ¬ p , se

tiene que la conclusión es B, es decir ¬ p

¬ q ⟹¬ p
¬q
∴¬ p

p⟹q
¬q
∴¬ p

ejemplo2
Utilice argumentos correctos para demostrar que el argumento

p⟹q
q⟹r
¬r ∧s
∴(¬ p ∨ w)∧ s
es correcto

Demostración:

p⟹q
q⟹r
∴ p⟹r

¬r ∧s
∴ ¬r
 p ⟹r
¬r
∴¬ p

¬p
∴ ¬ p ∨w

¬r ∧s
∴s

¬ p∨w
s
∴(¬ p ∨ w)∧ s

Pregunta: existen relaciones entre los argumentos correctos, es decir, un

argumento se expresa en términos de otro.

Respuesta:

Si, cualquier argumento correcto es construido aplicando el método de

separación

p
∴p