7.Simbolización En LP Flashcards

1
Q

Pasos para simbolizar

A
  1. Asignar las variables (p,q,r…)
  2. Construir la estructura formal
  3. Interpretar los operadores y construir la fbf
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Modos subjuntivos e indicativos del verbo ser

A

M. subjuntivo = sea

M. indicativo = soy

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

La propiedad conmutativa en qué casos funciona?

A

.Conjunción A^B=B^A
.Disyunción AvB=BvA
.Bicondicional AB = BA

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

La propiedad asociativa en qué casos funciona?

A

.Conjunción A^(B^C)=(A^B)^C=A^B^C
.Disyunción Av(BvC)=(AvB)vC=AvBvC
.Bicondicional A(BC)=(AB)C

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Qué es simbolizar?

A

Es traducir expresiones del lenguaje natural a un lenguaje simbólico

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Qué es interpretar semánticamente un cálculo?

A

Es darle significado y asignar sus posibles valores de verdad

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Fórmula para el número de proposiciones

A

2 elevado a la n

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Clasificación de fórmulas

A

.Tautológicas (T)
.Contradictorias (T invertida)
.Contingentes (Q)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly