Icon Crear Crear
Obtener Plan Académico
Obtener Plan Académico
Obtener Plan Académico

Lógica Proposicional

Test

(34)
Cuestionario sobre Tablas de verdad, simplificación de Formas proposicionales e Inferencia lógica

Descarga la versión para jugar en papel

653 veces realizada

Creada por

Venezuela

Top 10 resultados

  1. 1
    00:52
    tiempo
    100
    puntuacion
  2. 2
    Alexander
    Alexander
    01:01
    tiempo
    100
    puntuacion
  3. 3
    01:34
    tiempo
    100
    puntuacion
  4. 4
    Emy Tonato
    Emy Tonato
    03:09
    tiempo
    100
    puntuacion
  5. 5
    Kevin Raza
    Kevin Raza
    03:16
    tiempo
    100
    puntuacion
  6. 6
    Jimmy Solis
    Jimmy Solis
    03:36
    tiempo
    100
    puntuacion
  7. 7
    Domenica Medina
    Domenica Medina
    03:39
    tiempo
    100
    puntuacion
  8. 8
    03:42
    tiempo
    100
    puntuacion
  9. 9
    JARA JOEL
    JARA JOEL
    03:51
    tiempo
    100
    puntuacion
  10. 10
    Evelyn Aguilar
    Evelyn Aguilar
    03:57
    tiempo
    100
    puntuacion
¿Quieres aparecer en el Top 10 de este juego? para identificarte.
Crea tu propio juego gratis desde nuestro creador de juegos
Compite contra tus amigos para ver quien consigue la mejor puntuación en esta actividad

Top juegos

  1. tiempo
    puntuacion
  1. tiempo
    puntuacion
tiempo
puntuacion
tiempo
puntuacion
 
game-icon

Lógica ProposicionalVersión en línea

Cuestionario sobre Tablas de verdad, simplificación de Formas proposicionales e Inferencia lógica

por Lergi Suarez
1

Símbolos cuya función es vincular proposiciones para generar nuevas proposiciones

2

Conectivo que en el lenguaje natural se lee como “y”

3

Conectivo que se utiliza para diferenciar, separar o indicar una alternativa

4

Forma proposicional que es siempre verdadera

5

Forma proposicional que es siempre falsa

6

Razonamiento cuya conclusión se deduce de las premisas

7

El condicional directo y el contrarecíproco son

8

Dos formas proposicionales p y q son equivalentes si:

9

Una proposición implica lógicamente a otra si

10

Al simplificar ∼[(p∧∼q)→p] se obtiene

11

Al simplificar (~q∨∼s)↔{q→[(∼q→∼s)∧∼s]} se obtiene

12

Para comprobar la validez del razonamiento: p→~q , r→q , r ⱶ ~p se usaron

13

Para comprobar la validez del siguiente razonamiento ∼t→s,r→p,~(t∧∼r),q→∼(s∨p)⊢∼q Se usaron las leyes:

14

La tabla de verdad de la siguiente expresión (p ᴧ ~p) ᴧ( rᴠq) es

15

La tabla de verdad de la siguiente expresión (p ᴧ ~p) ᴧ( rᴠq) es

16

Conectivo que precede a una proposición atómica

educaplay suscripción