p, q

R: (p&q)
R': (((q)&q))
R' no es una proposición bien formada, por lo tanto no tiene significado y no forma
parte del lenguaje L (lenguaje L = el sistema de la lógica proposicional).

. quine: conector único: ni... ni r: p ↓ q (traducción: ni p ni q).

==
Proposiciones atómicas (letras proposicionales: p, q, r, s, t)
.... la nieve es blanca
.... la nieve es violeta
.... la nieve no es blanca: no es el caso que la nieve es / sea blanca = la nieve
no es blanca
.... p (r & s): la nieve es blanca y el agua es colorada
q (¬p === ¬(r & s)): no es el caso que la nieve sea blanca y el agua colorada
t (¬r & ¬s): la nieve no es blanca y el agua no es colorada.
p: r & s (r: la nieve es blanca, s: el agua es colorada)

p: (r&s)
q: ¬¬¬¬¬¬¬¬¬¬¬¬p
r: ¬ ¬ p === p
no es cierto que no es cierto que (hoy llueve y se inundó la estación)

¬ ¬ ¬ p === ¬ p

p:
rs p q ¬(r&s) t (¬r & ¬s)
00 0 1 1
01 0 1 0
10 0 1 0
11 1 0 0

.... San Martín nació en yapeyú

.... Argentina es el actual campeón del mundo en futbol
.... Montevideo es la capital de Perú
.... todo hombre es mortal
.... ningún hombre es inmortal
.... Amsterdam tiene nueve letras
.... Amsterdam es la ciudad capital de Holanda.
.... esta proposición es falsa (metalógica: no es una proposición en L, pero es una
proposición en un lenguaje L1, que es un meta-lenguaje).
.... 2+2 = 6
.... Juan está caminando calle abajo.
.... Sócrates está volando.
.... La molécula de agua está formada por dos átomos de hidrógeno y uno de oxígeno

==
1. Conjunción
(1) Juan se golpeó la cabeza y está llorando
p=Juan está llorando, q=Juan se golpeó la cabeza.
p&q

(8) Ana se quitó las medias y se metió en la cama. (&)

(9) Ana se metió en la cama y se quitó las medias.
p=Ana se quitó las medias, q=Ana se metió en la cama.
pq p&q
00 0
01 0
10 0
11 1

. Lista de oraciones que tienen las mismas condiciones de verdad.

Zandvoort y Haarlem están al oeste de Amsterdam.

Zandvoort está al oeste de Amsterdam. & Haarlem está al oeste de Amsterdam.

p: z está al oeste de a
q: h está al oeste de a
p&q

Juan y Pedro están casados con Ana y Beatriz respectivamente.

p=Juan está casado con Ana, q=Pedro está casado con Beatriz.
p&q

Tanto los liberales como los socialistas favorecieron la moción.

p=Los liberales favorecieron la moción, q=Los socialistas favorecieron la moción.
p&q

Juan está en su casa pero está dormido.

Diccionario: p=Juan está en su casa, q=Juan está dormido.
p&q
let sigo=true;
if (q&&||r){}
else {}

while (q) {

instrucciones...
q=false;
}

for (let i=0; i<5; i++) {

mostrar (i, "el valor de i es: ")
}

==
//ejemplo de iteraciones

for (var i=0; i<5; i++) {

mostrar (i, "el valor de i es: ")
}
 mostrar (i, "el valor de i al salir es: ")

i=0;
while (i<5) {
mostrar (i, "el valor de i es: ")
i++;
}
mostrar (i, "el valor de i al salir es: ")

==

Pregunta de Matías, arrancar acá la próxima clase (falta tablas de verdad).

Juan está en su casa pero Pedro no lo está.

Diccionario: p=Juan está en su casa, q=Pedro está en su casa.
r: p&¬q
t: ¬r === ¬ (p&¬q)

pq

Si bien hacía mucho frío, Juan no se quedó adentro.

Diccionario: p=Hacía mucho frío, q=Juan se quedó adentro.
p&¬q

A pesar de que afuera estaba hermoso, Juan se quedó adentro.

Diccionario: p=Afuera estaba hermoso, q=Juan se quedó adentro.
p&q

Así, todas las oraciones de la columna de la izquierda expresan una conjunción

lógica, a pesar de que desde un punto de vista estrictamente lingüístico no se
trate de dos oraciones unidas mediante la inserción de 'y' entre ellas.
.. Las connotaciones que tienen 'pero', 'si bien' y 'a pesar de' no alteran las
condiciones de verdad de las oraciones en las que aparecen esas palabras.
.. el significado de todas las proposiciones de la forma p&q es el mismo!

Juan está en su casa pero Juan no está en su casa.

(11) Juan y Pedro son amigos.

Resulta un tanto forzado considerar a esta oración como una conjunción entre,
digamos, Juan es amigo y Pedro es amigo.

Tampoco la oración (12) significa lo mismo que la conjunción (13):

(12) Pedro y Pablo son divertidos en las fiestas.
(13) Pedro es divertido en las fiestas y Pablo es divertido en las fiestas.