Question

 Explica por qué decimos que la lógica simbólica es formal.
 Expresa en forma simbólica (p, q, r y conectores) las siguientes proposiciones:
El libro de Kant no es para principiantes. O logramos ganar el partido o nos vamos a la B. El ingeniero acepta el contrato solo si le pagan el anticipo.
El día está triste entonces está gris. El espacio brindado es bueno solo si ponen un letrero​

Answer 1

Respuesta:

ean las variables p, q y r utilizadas para representar las frases que constituirán las oraciones, tenemos que:

a. El libro de kant no es para principiantes

p: El libro de Kant es para principiantes

Representación lógica: ~p

b. O logramos ganar el partido o nos vamos a la B

p: Logramos ganar el partido

q: Vamos a la B

Representación lógica: pvq

c. El ingeniero acepta el contrato solo si le pagan el anticipo

p: El ingeniero acepta el contrato

q: Pagar con anticipo

Representación lógica: p → q

d. El día está triste entonces esta gris

p: El día está triste

q: Está gris

Representación lógica: p → q

e. El espacio brindado es bueno si solo si pones un letrero

p: El espacio brindado es bueno

q: Si se pone un letrero

Representación lógica: p ↔ q

Explicación:

coronita porfa