Académique Documents
Professionnel Documents
Culture Documents
D
F
8
4 3
2
9 5 6
C N
37
D=37
F= 17
N= 16
C= 20
FՈN= 5
NՈC= 7
CՈF= 6
NՈFՈC= 2
F= 17-4-3-2= 8
N= 16-5-3-2= 6
C= 20-5-2-4= 9
a. Expresión simbólica:
{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: (𝑟 →∼ 𝑝)
P3: (𝑝 ∧ 𝑠)
Conclusión: (𝑞 ∧ 𝑠)
Desarrollo:
Proposiciones simples:
p: Estudio para parciales
q: Realizo mis trabajos colaborativos
r: Leo el contenido de Entorno de conocimiento
s: Obtengo buenas calificaciones
[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
Tabla de verdad.
Leyes de inferencia:
Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: (𝑟 →∼ 𝑝)
P3: (𝑝 ∧ 𝑠)
Conclusión: (𝑞 ∧ 𝑠)