Question

Hola necesito la simbolizacion de estas preposiciones de Logica son de 21 pasos :
1. Toda chica es atractiva si esta bien arreglada y de buen gusto
2.Algunas chicas atractivas o pasan desapersividas
3.-Ninguna chica de primer año pasa desapersivida.
∴Todas las chicas de primer año estan bien arregladas y de buen gusto.
Les adjuntare una foto, espero me ayuden se los agradeceria mucho

Answer 1

La simbolización de estas preposiciones de Lógicas:

Nomenclatura:

A: atractiva.

B: buen gusto.

C: chica.

D: desapercibida

P:primer año

R: arreglada.

1. Toda chica es atractiva si esta bien arreglada y de buen gusto

.

∀x C → [ A ↔ (R ∧ B) ]

∀: Este símbolo incluye toda la variable, en este caso chica,

→ : implica características de C

↔ : si y solo sí

∧ : conector de Y o conjunción

2.Algunas chicas atractivas o pasan desapercibidas.

∃x C  → ( A) ∨ (D)  

∃ : cuantificador existencial

∧: "ó" disyunsión inclusiva.

3.-Ninguna chica de primer año pasa desperdiciada.  ∴Todas las chicas de primer año están bien arregladas y de buen gusto.

( ˜∀x P →  ˜D) ∴ [∀x P → (R ∧ B) ]

˜ : símbolo de negación.

∴ :  símbolo de "Entonces"