CONJUNCION y ‸ 2^𝑛 2 = verdadero o falso

n = es el número de prop

Formas gramaticales: Yo soy padre de familia y tu eres universitario

y así como p: Yo soy padre de familia
pero a la vez q: tu eres universitario

aunque tal como p

‸ q
sin embargo tanto como
no obstante al igual que
también incluso Ayer tuve 23 años y mañana tendré 26
así mismo p: Ayer tuve 23 años
q: Mañana tendré 26

p ‸ q

V ‸ F
= verdadero o falso

= es el número de proposiciones

p q p ‸ q
a y tu eres universitario V V V
V F F
F V F

F F F

añana tendré 26

F
DISYUNCIÓN o v

Formas gramaticales: Ejemplo:

o a menos que Estudio o me caso
u excepto p: Estudio
salvo q: me caso
p v q
V F
F V
F F
 p q pvq
V V V
V F V
F V V
F F F
V
V
F
 CONDICIONAL --> p q p --> q
V V V
Forma gramatical: V F F
si …. Entonces F V V
F F V
Condicional directa (p --> q)
Causa Efecto
Si antecedente entonces consecuente
p --> q

Forma gramatical:
Si p entonces q p de ahí que q
p implica q p de modo que q
p por lo tanto q p deviene q
p conclusión q dado p por eso q
p luego q cuando p a si pues q
p por consiguiente q de p derivamos q

Ejemplos:
Si estudio luego triunfo
p: estudio p --> q
q: triunfo

De la pereza deviene, la pobreza

p: De la pereza p --> q
q: la pobreza

Si me pagan, vamos al cine

p: me pagan
q: vamos al cine
p --> q p --> q
V V V
F F V

Si hoy es MARTES, entonces mañana es viernes

p: hoy es jueves
q: mañana es viernes
p --> q p --> q
F V V
Condicional indirecta (q --> p)
Efecto causa
Te amaré siempre que me respetes
Consecuente antecedente
q p
Formas gramaticales:
p, si q p siempre que q
p ya que q p pues q
p puesto que q p supone que q
p porque q p a condición de que q
p dado que q
p es condición necesaria para q
p cada vez que q

Ejemplos:
Ingresé a la U dado que me esforcé
p: Ingresé a la U
q: me esforcé
--> dado que
q --> p
BICONDICIONAL ( <--> )
Será verdadera sólo si los valores de sus componentes son iguales,
caso contrario será falso
Formas gramaticales: p q p <--> q
si y solo si V V V
solamente si V F F
cuando y solo cuando F V F
entonces y solo entonces F F V
es idéntico
cada vez que y solo si

Ejemplos:
Me casaré, si y solo si terminas la U
p: me casaré
q: terminas la U
<--> si y solo si
p <--> q
NEGACION BINEGACIÓN
Es la negación conjuntiva
p ~p de negaciones
V F
F V Forma gramatical:

Ejemplos: Ejemplos:
Todo número es mayor que 5 p Ni estudio ni trabajo
No todo número es mayor que 5 ~p ~p: ni estudio
~q: ni trabajo

Negación simple (~ p ‸ ~ q)
Forma gramatical: "NO"
p: Pedro es niño
~ p: Pedro no es niño

Negación compuesta:
Afecta a proposiciones compuestas
Formas gramaticales:
es falso que no se da el caso que
no es cierto que no es posible que
es absurdo que

Ejemplos:
No es el caso que trabajes o estudies
p: trabajes
q: estudies
~: no es el caso que
~ (p v q)
 INEGACIÓN
s la negación conjuntiva, es una conjunción
e negaciones

orma gramatical: NI

Ni estudio ni trabajo Ni estudio y tampoco trabajo

p: ni estudio
q: ni trabajo
 Pasos a seguir para la resolución:
1.- Hallamos los valores de verdad de (p -->q)
2^𝑛=2^3 =8 2.- Hallar los valores de verdad de (q --> r)
n = número de proposicione3.- Hallar los valores de verdad de:
[(p --> q) ‸ (q --> r)]
Hallar la tabla de verdad de4.- Hallar los valores de verdad de (p --> r)

[(p --> q) ‸ (q --> r)] --> (p -->5.-r)Los valores de

p
q
r
TERMINAR LA TABLA DE VERDA

p q r q) -->[(p
(p --> (q r) --> q) ‸ (q --> r)]
1 V V V V V V
2 V V F V F F
3 V F V F V F
4 V F F F V F
5 F V V V V V
6 F V F V F F
7 F F V V V V
8 F F F V V V

[(p --> q) ^ (q --> p)] <--> (p <--> q)

p q (p--> q)[(p
(q --> q)
p) ^ (q -->
(p p)]
<--> q)
1 V V V V V V
2 V F F V F F
3 F V V F F F
4 F F V V V V

(p ^ q) --> q

p q (p ^ q) --> q
V V V V V
V F F V F
F V F V V
F F F V F
eguir para la resolución:
mos los valores de verdad de (p -->q)
los valores de verdad de (q --> r)
los valores de verdad de:
> q) ‸ (q --> r)]
los valores de verdad de (p --> r)

[(p --> q) ‸ (q --> r)] --> (p --> r)

TERMINAR LA TABLA DE VERDAD

(p --> r) [(p --> q) ‸ (q --> r)] --> (p --> r)

V V
F V
V V
F V
V V
V V
V V
V V

[(p --> q) ^ (q --> p)] <--> (p <--> q)

V
V
V
V