Crear una tabla de verdad para una expresión lógica de la forma....

Error

There was an error loading the page.

Contributors

Feedback

From users who are members of Lógica y Cuantificadores :

Luis Hernandez

said

Ready to use

6 years, 3 months ago

History

○

Luis Hernandez 6 years, 3 months ago

Gave some feedback: Ready to use

○

Luis Hernandez 6 years, 3 months ago

Created this as a copy of Luis's copy of Truth tables 3 (v2)-.

Name	Status	Author	Last Modified
Truth tables 3 (v2)-	Ready to use	Newcastle University Mathematics and Statistics	20/11/2019 14:51
Truth tables 3	draft	Marie Nicholson	04/02/2021 15:25
Louise's copy of Marie's copy of Truth tables 3 (v2)-	draft	Louise Lynch	26/01/2022 19:48
Luis's copy of Truth tables 3 (v2)-	draft	Luis Hernandez	30/11/2018 00:55
Luis's copy of Truth tables 3 (v2)-	draft	Luis Hernandez	30/11/2018 01:00
Crear una tabla de verdad para una expresión lógica de la forma....	Ready to use	Luis Hernandez	06/06/2023 01:11

There are 13 other versions that do you not have access to.

Question statement

En la siguiente pregunta se pide que construya una tabla de verdad para:

$((\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1}))\var{op4}(\var{a2} \var{op3} \var{b2}).$

Ingrese V si es verdadero, de lo contrario ingrese F.

Give any introductory information the student needs.

			Name	Type	Generated Value

logic_symbol_list	list	[ "p", "q", "not p", "not q" ]
latex_symbol_list	list	List of 4 items
s	list	[ 2, 3, 2, 1, 0, 2 ]

			Name	Type	Generated Value

a	string	\neg p
b	string	\neg q
op	string	\to
pre_ev1	list	[ true, true, false, true ]
ev1	list	[ "V", "V", "F", "V" ]

			Name	Type	Generated Value

a1	string	\neg p
b1	string	q
op2	string	\land
pre_ev2	list	[ false, false, true, false ]
ev2	list	[ "F", "F", "V", "F" ]

			Name	Type	Generated Value

p	list	[ true, true, false, false ]
q	list	[ true, false, true, false ]
disp	list	[ "V", "V", "F", "F" ]
disq	list	[ "V", "F", "V", "F" ]

			Name	Type	Generated Value

a2	string	p
b2	string	\neg p
op3	string	\to
pre_ev3	list	[ false, false, true, true ]
ev3	list	[ "F", "F", "V", "V" ]

			Name	Type	Generated Value

op1	string	\land
pre_t_value	list	[ false, false, false, false ]
t_value	list	[ "F", "F", "F", "F" ]

			Name	Type	Generated Value

			final_value	list	[ "F", "F", "F", "F" ]
			op4	string	\land

Automatically regenerate variables?

Name

Data type

Value

xxxxxxxxxx
 
["p","q","not p","not q"]

JME function reference

Description

Describe what this variable represents, and list any assumptions made about its value.

Can an exam override the value of this variable?

Generated value: `list`

[ "p", "q", "not p", "not q" ]

This variable doesn't seem to be used anywhere.

Parts

Gap-fill
1. Gap Gap 0. Match text pattern
  Add
2. Gap Gap 1. Match text pattern
  Add
3. Gap Gap 2. Match text pattern
  Add
4. Gap Gap 3. Match text pattern
  Add
5. Gap Gap 4. Match text pattern
  Add
6. Gap Gap 5. Match text pattern
  Add
7. Gap Gap 6. Match text pattern
  Add
8. Gap Gap 7. Match text pattern
  Add
9. Gap Gap 8. Match text pattern
  Add
10. Gap Gap 9. Match text pattern
  Add
11. Gap Gap 10. Match text pattern
  Add
12. Gap Gap 11. Match text pattern
  Add
13. Gap Gap 12. Match text pattern
  Add
14. Gap Gap 13. Match text pattern
  Add
15. Gap Gap 14. Match text pattern
  Add
16. Gap Gap 15. Match text pattern
  Add
17. Gap Gap 16. Match text pattern
  Add
18. Gap Gap 17. Match text pattern
  Add
19. Gap Gap 18. Match text pattern
  Add
20. Gap Gap 19. Match text pattern
  Add

Gap-fill

Ask the student a question, and give any hints about how they should answer this part.

Completa la siguiente tabla de verdad:

$p$	$q$	$\var{a} \var{op} \var{b}$	$\var{a1} \var{op2} \var{b1}$	$(\var{a} \var{op} \var{b}) \var{op1} (\var{a1} \var{op2} \var{b1})$	$\var{a2} \var{op3} \var{b2}$	$((\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1}))\var{op4}(\var{a2} \var{op3} \var{b2})$
$\var{disp[0]}$	$\var{disq[0]}$	Gap 0.	Gap 4.	Gap 8.	Gap 12.	Gap 16.
$\var{disp[1]}$	$\var{disq[1]}$	Gap 1.	Gap 5.	Gap 9.	Gap 13.	Gap 17.
$\var{disp[2]}$	$\var{disq[2]}$	Gap 2.	Gap 6.	Gap 10.	Gap 14.	Gap 18.
$\var{disp[3]}$	$\var{disq[3]}$	Gap 3.	Gap 7.	Gap 11.	Gap 15.	Gap 19.

Advice

Primero encontramos la tabla de verdad para $\var{a} \var{op} \var{b}$ :

$p$	$q$	$\var{a} \var{op} \var{b}$
$\var{disp[0]}$	$\var{disq[0]}$	$\var{ev1[0]}$
$\var{disp[1]}$	$\var{disq[1]}$	$\var{ev1[1]}$
$\var{disp[2]}$	$\var{disq[2]}$	$\var{ev1[2]}$
$\var{disp[3]}$	$\var{disq[3]}$	$\var{ev1[3]}$

Entonces la tabla de verdad para $\var{a1} \var{op2} \var{b1}$ :

$p$	$q$	$\var{a1} \var{op2} \var{b1}$
$\var{disp[0]}$	$\var{disq[0]}$	$\var{ev2[0]}$
$\var{disp[1]}$	$\var{disq[1]}$	$\var{ev2[1]}$
$\var{disp[2]}$	$\var{disq[2]}$	$\var{ev2[2]}$
$\var{disp[3]}$	$\var{disq[3]}$	$\var{ev2[3]}$

Juntando estas para encontrar $(\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1})$ :

$p$	$q$	$\var{a} \var{op} \var{b}$	$\var{a1} \var{op2} \var{b1}$	$(\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1})$
$\var{disp[0]}$	$\var{disq[0]}$	$\var{ev1[0]}$	$\var{ev2[0]}$	$\var{t_value[0]}$
$\var{disp[1]}$	$\var{disq[1]}$	$\var{ev1[1]}$	$\var{ev2[1]}$	$\var{t_value[1]}$
$\var{disp[2]}$	$\var{disq[2]}$	$\var{ev1[2]}$	$\var{ev2[2]}$	$\var{t_value[2]}$
$\var{disp[3]}$	$\var{disq[3]}$	$\var{ev1[3]}$	$\var{ev2[3]}$	$\var{t_value[3]}$

A continuación, encontramos la tabla de verdad para $\var{a2} \var{op3} \var{b2}$ :

$p$	$q$	$\var{a2} \var{op3} \var{b2}$
$\var{disp[0]}$	$\var{disq[0]}$	$\var{ev3[0]}$
$\var{disp[1]}$	$\var{disq[1]}$	$\var{ev3[1]}$
$\var{disp[2]}$	$\var{disq[2]}$	$\var{ev3[2]}$
$\var{disp[3]}$	$\var{disq[3]}$	$\var{ev3[3]}$

Todo esto junto para obtener la tabla de verdad que queremos:

$p$	$q$	$(\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1})$	$\var{a2} \var{op3} \var{b2}$	$((\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1}))\var{op4}(\var{a2} \var{op3} \var{b2})$
$\var{disp[0]}$	$\var{disq[0]}$	$\var{t_value[0]}$	$\var{ev3[0]}$	$\var{final_value[0]}$
$\var{disp[1]}$	$\var{disq[1]}$	$\var{t_value[1]}$	$\var{ev3[1]}$	$\var{final_value[1]}$
$\var{disp[2]}$	$\var{disq[2]}$	$\var{t_value[2]}$	$\var{ev3[2]}$	$\var{final_value[2]}$
$\var{disp[3]}$	$\var{disq[3]}$	$\var{t_value[3]}$	$\var{ev3[3]}$	$\var{final_value[3]}$

Give a worked solution to the whole question.

Use this tab to check that this question works as expected.

There was an error which means the tests can't run:

Part	Test	Passed?
Gap-fill
Gap-fill		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet

This question is used in the following exams:

4_MAT1407_C1_EJERCICIO_Numbas_1 by Luis Hernandez in MAt140_2020.
3_MAT1407_C1_EJERCICIO_Numbas_1 by Luis Hernandez in MAt140_2020.
2047_ semana_01 by Luis Hernandez in MAT2024 _INTRODUCCIÓN AL CALCULO.

Loading...

Error

Crear una tabla de verdad para una expresión lógica de la forma....

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

Feedback

History

Comment

Checkpoint description

Luis Hernandez 6 years, 3 months ago

Luis Hernandez 6 years, 3 months ago

Error in variable testing condition

Error

Warning

Generated value: `list`

Parts

Gap-fill

Loading...

Error

Crear una tabla de verdad para una expresión lógica de la forma....

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

Feedback

History

Comment

Checkpoint description

Luis Hernandez 6 years, 3 months ago

Luis Hernandez 6 years, 3 months ago

Error in variable testing condition

Error

Warning

Generated value: list

Parts

Gap-fill

Generated value: `list`